">Constr.t</a></span></code></div><div class="spec-doc"><p><code>mk_smtlib2_compare</code> builds a constraint out of an smtlib2 string that can be used as a comparison predicate between an original and modified binary.</p></div></div></div></body></html>