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