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

[Jiwon Joung via llvm-dev]

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/20190719/03b20c75/attachment.html>