Update programming by contract macros

This commit is contained in:
Vinnie Falco
2013-09-06 11:53:47 -07:00
parent 62ffbc97ba
commit 6be9c41064
3 changed files with 1 additions and 19 deletions

View File

@@ -130,7 +130,7 @@ public:
// We don't really expect the program to run after this
// but the unit test is here so you can manually test it.
int shouldBeZero (1);
fatal_assert (shouldBeZero == 0);
check_invariant (shouldBeZero == 0);
}
};