26 Jan
2016
26 Jan
'16
9:12 p.m.
On 26 January 2016 at 15:24, Chris Angelico
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