Closed ehildenb closed 4 years ago
This wraps statements that should succeed in assertTrue(...);, in preparation for supporting asserting reverts.
assertTrue(...);
This subsumes https://github.com/makerdao/mkr-mcd-spec-sol-tests/pull/4.
true
false
assertTrue
GemJoin "MKR"
kmcd-prelude.md
This wraps statements that should succeed in
assertTrue(...);, in preparation for supporting asserting reverts.This subsumes https://github.com/makerdao/mkr-mcd-spec-sol-tests/pull/4.
trueorfalsedepending on whether a call succeeded or not.assertTrue.GemJoin "MKR"which is generated bykmcd-prelude.mdis removed.