Nana is developer/testing tool for C/C++ which supports design by contract using a mix of code and GDB debugger support. It intended to be used for:
- Safety critical or high reliability systems.
- Embedded systems where the GDB.
Some of its benefits are space and time efficency, e.g.the default
assert(i>=10) implementation on an i386 uses 52 bytes vs 10 bytes
for nana inline checks (or 1 byte if you are using GDB based assertion
checking).
Specific parts of the library require GNU CC extensions but it works under clang as well. A standards compliant version mostly excludes the quanitifers forall (A), exists (E), etc.