Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., termina…
Please check out the library's documentation to learn more.
No dependencies
Please enter a valid email address.
This field is required.
Pick the lists you want to subscribe to. You can change these any time.