ss="refentrytitle">Class template specify_old_postcondition_except</span></h2>
<p>boost::contract::specify_old_postcondition_except &#8212; Allow to specify old value copies at body, postconditions, and exception guarantees. </p>
</div>
<h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="refsynopsisdiv-title">Synopsis</h2>
<div xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="refsynopsisdiv"><pre class="synopsis"><span class="comment">// In header: &lt;<a c