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