ariable of type  <code class="computeroutput"><a class="link" href="boost/contract/check.html" title="Class check">boost::contract::check</a></code> and without using C++11 <code class="computeroutput">auto</code> declarations (because that is a misuse of this library). Therefore, by default (i.e., when this macro is not defined) this library calls <code class="computeroutput">BOOST_ASSERT(false)</code> in those cases. If this macro is defined, this library will execute the code expanded by this macro inste