On 18 March 2015 at 08:17, Zhiyi Zhang <xianlingzibiy...@gmail.com> wrote: > Hi all, > > I have built the KLEE3.4 on Ubuntu14.10 and the Tutorial get_sign and Regexp > can also be run by KLEE3.4. I used clang to compile programs and run .bc > file on KLEE. However, when I built the coreutils on KLEE3.4 and make > obj-llvm with makeCC=/full/path/to/klee/scripts/klee-gcc,it reports some > errors. The errors are in enclosed in the attachment.
klee-gcc is only meant for llvm-gcc and not for clang, the fact it worked probably suggests you have llvm-gcc on your PATH. llvm-gcc will not produce LLVM bitcode that is compatible with KLEE compiled with LLVM 3.4. If you intend to use clang with KLEE then I would advise you use the whole-program-llvm [1] to build your application. [1] https://github.com/travitch/whole-program-llvm Thanks, Dan. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
