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