Governor.sh 288 B

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