Hi,
Yes, you need to compile the system under test to LLVM bitcode.
However, nowadays things are much easier with the use of wllvm, as
illustrated in that tutorial.
Regarding the error you mentioned, just look in the .external.err file,
it should contain an explanation about the issue.
Hi all，
I am a graduate student, my name is Xu Rongze. I recently read your paper
"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for
Complex Systems Programs", and learn how to use KLEE. I saw the tutorial
on the official website: "Testing Coreutils" clearly stated "One of the
