st_contract.f0" class="footnote" name="boost_contract.f0"><sup class="footnote">[1]</sup></a> for the C++ programming language. All contract programming features
    are supported by this library: Subcontracting, class invariants (also for static
    and volatile member functions), postconditions (with old and return values),
    preconditions, customizable actions on assertion failure (e.g., terminate the
    program or throw exceptions), optional compilation of assertions, disable assertions
    while alr