[klee-dev] How to use KLEE to get the execution coverage of each test case？

[rongze xv]

Hi klee-dev members,


I would like to ask how to use KLEE to get the execution coverage of
each test case instead of the overall coverage of all test cases run
this time?

If you can reply to me in your spare time, thank you very much!!

Sincerely，
Xu Rongze
-------------- next part --------------
HTML attachment scrubbed and removed