Improved support for assertions and logging in C and C++
last updated 27 February 1998 for version 1.14
Assert.h considered harmful
Scope of this document
Installing the Nana library
Variables for ./configure
nana.h: the main header file
WITHOUT_NANA: disabling all nana code for portability.
I.h: C based invariant checking
DI.h: debugger based invariant checking
L.h: support for printf style logging
L_buffer.h: a circular buffer for logging.
L_times.h: recording events and times.
DL.h: support for printf style logging
GDB.h: sending plain gdb commands to the debugger
Q.h: support for quantifiers
Qstl.h: quantifiers for STL containers.
now.h: measuring time
eiffel.h: eiffel type assertions
assert.h: a drop in replacement for assert.h
calls.h: checking/printing many objects/facts.
GNU Programs: how to avoid nana sometimes
Embedded Systems: testing non-deterministic systems.
Program Visualisation: pretty pictures
This document was generated on 6 November 1998 using the
translator version 1.52.