[klee-dev] error report empty

Daniel Liew daniel.liew at imperial.ac.uk
Fri Jun 27 16:44:47 BST 2014


> But if run the examples the test-N.xxx.err files are empty.
>
> What can I do?

Did you remember to compile your application with debug information
(``-g`` flag to llvm-gcc or clang)?

Help would probably more forthcoming if you provided a test program
that caused test-N-xxx.err files to be empty.

Thanks,
Dan.




More information about the klee-dev mailing list