llvm dev - Jul 2019 - Undefined symbol when trying to run pass

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>

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>