> I've checked that libLLVM-3.4.2.so exports above functions correctly by nm > command. > KLEE is currently intended to be linked against the LLVM static libraries, not the dynamic one.
I think passing ``ENABLE_SHARED=0`` to make to have KLEE link against the LLVM static libraries ought to work. Feel free to dig deeper to find the root cause of the issue though. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
