build:
    sui move build --test

run: build
    certoraSuiProver.py Single.conf
