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

GovernorVotesQuorumFractionHarness.sh 147 B
History Raw

12 
  1. certoraRun certora/harnesses/GovernorVotesQuorumFractionHarness.sol \
    2. 

  2.     --verify GovernorVotesQuorumFractionHarness:certora/specs/Privileged.spec
    3.