dbc.h File Reference

Design-by-Contract module. More...

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include "utils.h"

Go to the source code of this file.

Macros
#define	check(condition, message)
	Checks the verification of an general algorithm assertion. More...
#define	require(condition, message)
	Checks the verification of a precondition. More...
#define	ensure(condition, message)
	Checks the verification of a postcondition. More...
#define	invariant(condition, message)
	Checks the verification of an invariant. More...

Detailed Description

Design-by-Contract module.