 done and which source files are being compiled, if any. Pass the resulting files to compile to <code>Capture</code> to be captured, i.e., parsed and translated into Infer's IR <a href="../IR/Sil/index.html"><code>Sil</code></a>.</p></dd></dl></div></body></html>