Assertions

• An assertion is a condition that must always be true at some particular point of the program's execution. Assertions, which are embedded in the code, are checked for correctness when the program is running. When an assertion fails, the program terminates and issue error messages.

• In C, we can put in assertion by

#include <assert.h>

...

assert(condition);

• where the condition is any single expression, nonzero for true, 0 for false.

• Example:

assert(a<b);

Previous slide

Next slide

Back to first slide

View graphic version