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

[BNM]

 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 you,
-------------- next part --------------
HTML attachment scrubbed and removed