Boost.Contract (see: https://lcaminiti.github.io/boost-contract)

A library implementing Contract Programming (a.k.a., Design by Contract or DbC)
for the C++ programming language.

All Contract Programming features are supported by this library: subcontracting,
class invariants (also static and volatile), postconditions (with old and return
values), preconditions, customizable actions on assertion failure (terminate,
throw, etc.), optional compilation of assertion and checking, disable assertions
while already checking other assertions (to avoid infinite recursion), etc.

NOTE: In one of its previous versions, this library passed Boost formal review
and it was accepted into the Boost libraries. However, the authors have not had
time yet to add this library to an official Boost release (see:
https://groups.google.com/forum/?fromgroups=#!topic/boost-list/jQ7OjAmos_Y).

Copyright (C) 2008-2017 Lorenzo Caminiti
Distributed under the Boost Software License, Version 1.0 (see accompanying
file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).