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

verifyTimelock.sh 223 B
History Raw

1234567 
  1. certoraRun \
    2. 

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

  3.     --verify TimelockControllerHarness:certora/specs/TimelockController.spec \
    4. 

  4.     --solc solc8.2 \
    5. 

  5.     --optimistic_loop \
    6. 

  6.     --cloud \
    7. 

  7.     --msg "sanity"
    8.