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

Add error message for assertTrue in solidity tests #205

Closed gbalabasquer closed 4 years ago

ehildenb commented 4 years ago

@gbalabasquer you'll also need to change mcd-pyk.py. Specifically, function makeSolidityCall and buildAsserts.

I would just keep a global counter in the python file, and have each assert print out something like "assert NNN" where N is the global counter number of each time it makes an assert. This will make it easier to see which assert failed.

I can do it instead if you like.

gbalabasquer commented 4 years ago

@ehildenb ahh ok, if you can easily do it please go ahead, it was a long time since I've used python so you will probably do it much faster