Fix Certora run scripts - Githubissues

sushiswap / bentobox

176 stars 144 forks source link

Fix Certora run scripts #81

Closed nd-certora closed 3 years ago

nd-certora commented 3 years ago

better running time
run on staging environment which contains a fix in Certora Prover.