build:
    sui move build --test

run: build
    certoraSuiProver.py Hello.conf
