search

makerdao / k-dss

formal verification of multicollateral dai in the K framework
GNU Affero General Public License v3.0
14 stars 11 forks source link

Fix Pot_live_pass_rough proof #2

Closed kmbarry1 closed 5 years ago

kmbarry1 commented 5 years ago

For the record, this also fixes: Pot_cage_pass_rough Pot_cage_fail_rough

kmbarry1 commented 5 years ago

And also fixes: Pot_file-dsr_pass_rough Pot_file-dsr_fail_rough