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 some End proofs #3

Closed kmbarry1 closed 5 years ago

kmbarry1 commented 5 years ago

Copy-paste error in storage. Fixes at least the following three proofs: End_file-addr_pass_rough End_file-addr_fail_rough End_spot_pass_rough