Skip assertions

In OpenZeppelin, we’re considering dropping some of our asserts and changing them to require (see here for some relevant discussion), changing the semantics of assert to ‘shouldn’t ever fail unless the code is buggy’. Because of that, solidity-coverage will report a line with partial coverage on each assert.

Could the requirement of assert failure being covered be dropped, or an option added to disable it (maybe with a huge error flag if the assertion ended up failing)? We’d hate to have our coverage figure drop because of a semantics difference.

Thank you for your time and awesome work!

[paulrberg]

Happy to help.

And yes, SMTChecker is actually useful! Check out this presentation by Leonardo Alt. It uses assert statements to identify bugs in a contract.

[cgewecke]

@PaulRBerg

Ah ok… I would lean towards making this change without a major version bump since no one thinks these should branch and it’s more like a bug.

Thanks for the SMT link - I didn’t realize these have a working application now.