deadalnix <> changed:

           What    |Removed                     |Added
                 CC|                            |

--- Comment #1 from deadalnix <> 2012-02-26 04:32:47 PST ---
User of Foo will expect that the output of the function is 0 (as mentionned in
the contract). Bar is violating Liskov's substitution principle.

I think you are confusing DbC with unit testing.

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

Reply via email to