Hi Lei,
Yes, we tested all utilities with --optimize, and this can have a
significant effect on the results.
The problem you encounter is that KLEE does not support the llvm.trap
intrinsic, which I think was introduced in LLVM 2.9. You may want to
try LLVM 2.8, things might still work. Of
Hi Dilip,
Currently, KLEE has limited support for C++, and no support for
pthreads. However, there are certain extensions to KLEE that handle
these aspects, e.g., KLOVER for C++ and Cloud9 for pthreads. Take a
look at http://klee.llvm.org/Publications.html for more information.
Cristian
