<div dir="ltr"><div><div><div>Hello,<br><br></div>I looked at the references on this mail <a href="http://lists.llvm.org/pipermail/cfe-dev/2018-March/057054.html">http://lists.llvm.org/pipermail/cfe-dev/2018-March/057054.html</a><span id="goog_332505968"></span><span id="goog_332505969"></span><span id="goog_332505958"></span><span id="goog_332505959"></span> and then looked at Z3ConstraintManager.cpp and I have some questions regarding the solver:<br><br></div>1) Right now we are not letting Z3 manage memory. Will it be a good idea to do that?<br></div>2) Can we flush the cache memory in the destructor of <b>Z3Solver <a href="https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp#L834">https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp#L834</a> </b>class?<br><br>Thank you very much,<br>Ashish Kumar Gahlot<div><div><div><div><div><div><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Ashish Kumar Gahlot</div><div>IV year, UG</div><div>Govt. Engg. College, Ajmer, India</div></div></div></div></div>
</div></div></div></div></div></div></div>