mirror of https://gitee.com/bigwinds/arangodb
8087059f20
|
||
|---|---|---|
| .. | ||
| example | ||
| meta | ||
| src | ||
| test | ||
| README.md | ||
README.md
Boost.Contract
Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants (also static and volatile), postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, disable assertions while already checking other assertions (to avoid infinite recursion), etc.
License
Distributed under the Boost Software License, Version 1.0.