Neil Hodgson wrote: > Yes, the rule has obvious shortcomings, but OTOH if it had enabled > reasonable formal verification...
I somehow find it hard to believe that you could write a multi-exit function that cannot be trivially and automatically converted to a single-exit function, for further analysis... </F> -- http://mail.python.org/mailman/listinfo/python-list
