[klee-dev] Question regarding -write-cov parameter

[Breno Miranda]

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
-------------- next part --------------
HTML attachment scrubbed and removed