Dear All, The -write-cov parameter provides, for each test case, the *new* lines that have been covered by that test case. Is there a way I could get *ALL* the lines visited by each test case in the .cov files?
I look forward to hearing from you. -- Yours sincerely, Breno Miranda
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
