contract

A C++17 library to document and assert expectations. With hooks for user defined assertion functions and intelligent -fno-exceptions handling, provides a flexible code footprint suitable for bare-metal applications.

LaTeX style for writing contracts according to the Czech tradition // LaTeXový styl pro psaní smluv podle českých tradic