Hi BNM, If I understand correctly, here there are two categories of test suites discussed: one contains the test suite generatedby KLEE, and another contains test suites that come with the program itself. If you want to measure the coveragespecifically achieved by KLEE, then you should only run your program with the KLEE-generated test suite.
Andrew On Sunday, August 6, 2017, 11:47:35 AM GMT+8, BNM <boooth_2...@yahoo.com> wrote: 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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev