[klee-dev] measuring the coverage using the test cases testN.TYPE.err

 Hello, I've tried to measure the code coverage of a program using Gcov with the test cases generated by KLEE . The test suites include some test cases reporting some errors, is it necessary to include these test cases when I measure the coverage or should be excluded? Thank

Re: [klee-dev] Trouble replaying test cases with symbolic files

Hi Daniel, I think the first method doesn't understand symbolic inputs specified by '--posix-runtime', so you're right. Isn't it an expected result for the second method? If 'A' doesn't exist or is unreadable then the program crashes on fclose(NULL); test01 probably specifies an unreadable