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

[Andrew Santosa]

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_2006 at 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 at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
-------------- next part --------------
HTML attachment scrubbed and removed