http://d.puremagic.com/issues/show_bug.cgi?id=7584
deadalnix <deadal...@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |deadal...@gmail.com --- Comment #1 from deadalnix <deadal...@gmail.com> 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: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------