> 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. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
