build:
    sui move build --test

run: build
    certoraSuiProver.py Multi.conf
