GitBross Home Explore Help
Register Sign In
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 62d60a5890
Branches Tags
openzeppelin-co...
/
certora
/
scripts
/
verifyERC20Votes.sh

verifyERC20Votes.sh 205 B
History Raw

1234567 
  1. certoraRun \
    2. 

  2.     certora/harnesses/ERC20VotesHarness.sol \
    3. 

  3.     --verify ERC20VotesHarness:certora/specs/ERC20Votes.spec \
    4. 

  4.     --solc solc8.2 \
    5. 

  5.     --optimistic_loop \
    6. 

  6.     --cloud \
    7. 

  7.     --msg "sanityVotes"
    8.