I followed the instruction on https://klee.github.io/tutorials/testing-coreutils/
I would like to run coreutils by using KLEE latest version and LLVM 3.4
Since, I use clang instead of llvm-gcc. In the step 2, I use clang to build coreutils with these commands below:

../configure --disable-nls CFLAGS="-g"
export LLVM_COMPILER=clang
make CC=/home/felicia/whole-program-llvm-master/wllvm
make -C src arch hostname CC=/home/felicia/whole-program-llvm-master/wllvm

However when I proceed to step 3: Using KLEE as Interpreter by execute:

~/full-path-to KLEE/Release+Asserts/bin/klee --libc=uclibc --posix-runtime ./cat.bc --version,

the output is KLEE: ERROR: error loading program './cat.bc': Invalid record

Am I missing something? Thank you very much.

Best Regards,
Felicia

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to