On 12 October 2017 at 08:49, Chengyu Zhang <dale.chengyu.zh...@gmail.com> wrote: > Maybe you should run KLEE on .bc file generated by Clang rather than .c > file.
To add to that you can't use "Apple Clang". You need to use a version of Clang that uses the same version of LLVM that KLEE was built with. In your case your version of KLEE uses LLVM 3.4 so you need to use Clang 3.4. At a glance it looks like you're using Docker to run KLEE. So you should probably invoke Clang inside the Docker container to build your code. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev