Paul Marinescu
Results
2
comments of
Paul Marinescu
latest KLEE, LLVM 3.4, STP is irrelevant. ``` $ clang++ -emit-llvm -c -g -o fail.bc fail.cpp $ klee fail.bc KLEE: output directory is "/data/klee/klee-out-0" KLEE: WARNING: undefined reference to function:...
Most likely p_16 is a byval argument which klee doesn't support.