History

yangzuhao b199dd2a76 源码提交		2022-12-15 23:45:23 +08:00
..
build	源码提交	2022-12-15 23:45:23 +08:00
doc	源码提交	2022-12-15 23:45:23 +08:00
example	源码提交	2022-12-15 23:45:23 +08:00
meta	源码提交	2022-12-15 23:45:23 +08:00
src	源码提交	2022-12-15 23:45:23 +08:00
test	源码提交	2022-12-15 23:45:23 +08:00
index.html	源码提交	2022-12-15 23:45:23 +08:00
README.md	源码提交	2022-12-15 23:45:23 +08:00

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.