No libraries match your search.
Try a shorter keyword, or check the spelling.
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., terminate or throw), optional compilation and checking of assertions, etc.
Support for simple program testing, full unit testing, and for program execution monitoring.
Achievements capture your contributions to Boost — automatically tracked where possible, manually verified for high-value activities.
Badges recognize your journey on Boost — from the contributions you make to the time you've invested and the milestones you've reached along the way.