verifyGovernorPreventLateQuorum.sh 431 B

1234567891011121314
  1. certoraRun \
  2. certora/harnesses/ERC721VotesHarness.sol certora/munged/governance/TimelockController.sol certora/harnesses/GovernorPreventLateQuorumHarness.sol \
  3. --verify GovernorPreventLateQuorumHarness:certora/specs/GovernorPreventLateQuorum.spec \
  4. --solc solc \
  5. --optimistic_loop \
  6. --staging \
  7. --settings -optimisticFallback=true \
  8. --send_only \
  9. --loop_iter 1 \
  10. --rule $1 \
  11. --msg "$1" \