<div dir="ltr">I created a loadable optimization following the tutorial at <a href="http://llvm.org/docs/WritingAnLLVMPass.html">http://llvm.org/docs/WritingAnLLVMPass.html</a>. I want to use the Z3 library, installed in my system, in my optimization. When I include z3++.h (the name of the library) in the code and use its classes, it compiles well, but when I try to run it it says:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">opt: symbol lookup error: /home/giacomo/llvm/Debug+Asserts/lib/Acsl.so: undefined symbol: Z3_mk_config<br>
</blockquote><div style>What's the issue?<br>Thanks</div></div>