On 26 January 2016 at 15:24, Chris Angelico <rosuav at 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