search

sushiswap / miso

GNU General Public License v3.0
40 stars 104 forks source link

update rules to verify fix to commitEth #18

Closed nd-certora closed 3 years ago

nd-certora commented 3 years ago

added a new rule for proving that commitments are always less than the payment tokens balance of the system