ONJava.com -- The Independent Source for Enterprise Java
oreilly.comSafari Books Online.Conferences.


AddThis Social Bookmark Button
  Using Design by Contract in C
Subject:   No side effects (contract vs. assert)
Date:   2004-11-11 00:15:29
From:   Ephaeton
Now I'm confused, given that the author stresses that code should behave the same with or without DBC active; the implementation given calls abort() just as assert() would...

Big words (DBC), business as usual...

1 to 1 of 1
  1. No side effects (contract vs. assert)
    2004-11-12 00:06:04  cmills [View]

1 to 1 of 1