��“ <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">UnitTests</a> &#x00BB; AbstractInterpreterTests</nav><h1>Module <code>UnitTests.AbstractInterpreterTests</code></h1></header><div class="spec module" id="module-F"><a href="#module-F" class="anchor"></a><code><span class="keyword">module</span> F = Stdlib.Format</code></div><aside><p>Test the generic abstract interpreter by using a simple path counting domain. Path counting is actually a decent stress test--if you join too much/too 