tle="Header &lt;boost/contract/assert.hpp&gt;">boost/contract/assert.hpp</a>&gt;

</span>BOOST_CONTRACT_ASSERT_AXIOM(cond)</pre></div>
<div class="refsect1">
<a name="idm34221"></a><h2>Description</h2>
<p>The asserted condition will always be compiled and validated syntactically, but it will never be checked at run-time. This macro is defined by code equivalent to:</p>
<pre class="programlisting"><span class="preprocessor">#define</span> <span class="identifier">BOOST_CONTRACT_ASSERT_AXIOM</span><span class