[klee-dev] How do I see exactly what lines were covered in a ktest?

[Zaman, Tarannum]

Hi,
I am trying to replay the ktest files of coreutils project for mv.c file. I
want to see the gcov to see exactly what lines were covered in the ktest
file.

I put the commands:

klee-replay ./mv ../../obj-llvm/src/klee-last/*.ktest


gcov mv
File '../../src/mv.c'
Lines executed:70.24% of 168
Creating 'mv.c.gcov'

Here I am finding the percentage of line coverage
but I am wanted to find out the exact line numbers
which are covered by a ktest. How can I find out that?

Thanks

Shaila
-------------- next part --------------
HTML attachment scrubbed and removed