aechmea C2: DbC code generator for C++
C2 is a code generator for C++. It enables you to use Programming by Contract in the comment lines of your source code. During compilation, the C2 compiler generates the code for the conditions you have made concerning classes, methods or functions. Of course you can use the C++ compiler of your choice.
link






