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
