NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

added solc version

Browse Source
This commit is contained in:
Michael George
2022-05-25 16:20:45 -04:00
parent 04382cd1d3
commit 5e69b54af1
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
certora/scripts/verifyGovernorPreventLateQuorum.sh
View File

@ -1,13 +1,12 @@
certoraRun \ certoraRun \
certora/harnesses/ERC721VotesHarness.sol certora/munged/governance/TimelockController.sol certora/harnesses/GovernorPreventLateQuorumHarness.sol \ certora/harnesses/ERC721VotesHarness.sol certora/munged/governance/TimelockController.sol certora/harnesses/GovernorPreventLateQuorumHarness.sol \
--verify GovernorPreventLateQuorumHarness:certora/specs/GovernorPreventLateQuorum.spec \ --verify GovernorPreventLateQuorumHarness:certora/specs/GovernorPreventLateQuorum.spec \
--solc solc \ --solc solc8.13 \
--optimistic_loop \ --optimistic_loop \
--disable_auto_cache_key_gen \ --disable_auto_cache_key_gen \
--staging \ --staging \
--send_only \ --send_only \
--loop_iter 1 \ --loop_iter 1 \
--rule $1 \
--msg "$1" \ --msg "$1" \