Closed abe545 closed 8 years ago
The exception is a contract post-condition exception when generating the parameters, but it should really throw immediately, with a friendly error message.
The exception is a contract post-condition exception when generating the parameters, but it should really throw immediately, with a friendly error message.