pr)</code> expands to <code>BOOST_ASSERT(expr)</code>.</p>
</li>
<li>
<p>Otherwise, <code>BOOST_VERIFY(expr)</code> expands to <code>((void)(expr))</code> when <code>NDEBUG</code> is
defined, to <code>BOOST_ASSERT(expr)</code> when it&#8217;s not.</p>
</li>
</ul>
</div>
</div>
<div class="sect2">
<h3 id="boost_verify_msg">BOOST_VERIFY_MSG</h3>
<div class="paragraph">
<p>The macro <code>BOOST_VERIFY_MSG</code> is similar to <code>BOOST_VERIFY</code>, with an additional parameter, an error message.</p>
</div>