Jan. 26, 2016
3:42 p.m.
On 26 January 2016 at 15:24, Chris Angelico <rosuav@gmail.com> wrote:
This still has one nasty problem though: the requires and ensures functions can't see function arguments.
See my code - you can put the args onto the instance as attributes for requires/ensures to inspect. Paul