[llvm-dev] Undefined symbol when trying to run pass

[cszide via llvm-dev]

You may use different versions of LLVM. The version of opt may not consistent with your pass.

At 2019-07-21 01:30:28, "Jiwon Joung via llvm-dev" <llvm-dev at lists.llvm.org> wrote:

Hello, I am trying to run a pass, but I get the following error. 
"

opt: symbol lookup error: ./constraint_pass.so: undefined symbol: _ZN4klee9KFunctionC1EPN4llvm8FunctionEPNS_7KModuleE" 













I am really not sure how to go about solving this. I thought I would reach out to the developers for some advice. 




Thanks in advance,



--

Jiwon Joung

University of Michigan


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190721/60f5e9cb/attachment.html>