Skip to content
/ nana Public

Nana - a design by contract framework for C/C++

License

BSD-3-Clause, BSD-2-Clause licenses found

Licenses found

BSD-3-Clause
LICENSE
BSD-2-Clause
COPYING
Notifications You must be signed in to change notification settings

pjmaker/nana

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

29 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

nana

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.

About

Nana - a design by contract framework for C/C++

Resources

License

BSD-3-Clause, BSD-2-Clause licenses found

Licenses found

BSD-3-Clause
LICENSE
BSD-2-Clause
COPYING

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published