GovernorBasic.sh 332 B

123456789
  1. certoraRun certora/harnesses/GovernorBasicHarness.sol \
  2. --verify GovernorBasicHarness:certora/specs/GovernorBase.spec \
  3. --solc solc8.2 \
  4. --staging uri/add_with_env_to_preserved_all \
  5. --optimistic_loop \
  6. --settings -copyLoopUnroll=4 \
  7. --disableLocalTypeChecking \
  8. --rule proposalInitiated \
  9. --msg "$1"