search

sushiswap / miso

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

Updated spec from Certora #13

Closed vasu99g closed 3 years ago

vasu99g commented 3 years ago

Updated spec to catch the delegateCall, msg.value bug.