Right now every problem in a pre, post, or require block gives the very unhelpful message:
could not parse predicate
We should give more information about what failed in each case (unsupported operation, reference to a variable which is not argument, and so on).
Right now every problem in a
pre,post, orrequireblock gives the very unhelpful message:We should give more information about what failed in each case (unsupported operation, reference to a variable which is not argument, and so on).