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
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to