assert-failure

This library contains syntactic sugar that makes it easier to write simple contracts with assert and error and report the values that violate contracts.