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

verifyAccessControl.sh 226 B
History Raw

1234567 
  1. certoraRun \
    2. 

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

  3.     --verify AccessControlHarness:certora/specs/AccessControl.spec \
    4. 

  4.     --solc solc \
    5. 

  5.     --optimistic_loop \
    6. 

  6.     --cloud \
    7. 

  7.     --msg "AccessControl verification"
    8.