Fix the generation of `*_exhaustiveness` specs

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

GNU General Public License v3.0

28 stars 9 forks source link

Fix the generation of `*_exhaustiveness` specs #211

Open ehildenb opened 3 years ago

ehildenb commented 3 years ago

klab build-spec *_exhuastiveness does not generate the correct specifications anymore. This does not block any of the other proofs, but should be fixed.