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 to 1 of 1