What    |Removed                     |Added
         Resolution|DUPLICATE                   |INVALID

--- Comment #2 from 2012-05-03 14:35:25 PDT ---
Oops, actually this is not a duplicate, it is just invalid.
This is how precondition inheritance is supposed to work. (a>0 && b>0 suffices
as a condition for the inheriting class to need to accept the input, therefore
the additional in-contract is not even checked.)

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to