Better error messages on contract failure
I just had the following contract failure:
$ cargo run readme.c
The application panicked (crashed).
Message: Post-condition of rval violated: old (self . lval) || old (self . clone ()) == ret
Location: src/analyze/expr.rs:1173
This tells me which contract failed, but not what input caused it to fail. Would it possible to do something like this?
panic!("Post-condition of `rval` violated: `old (self . lval) || old (self . clone ()) == ret`: for input {:?}", input);