[klee-dev] a question about use klee with zcov

[Qixue Xiao]

Hi, everyone

I find some commands which using zcov to calculate code coverage in
Makefile of Klee project , as follows:

zcov-scan --look-up-dirs=1 klee.zcov .
zcov-genhtml --root $$(pwd) klee.zcov klee-cov

But I did not how to use it.

I have used --write-cov to generate *.cov of testcases.
and I make the target code(coreutils6.10) with gcc with -fprofile-arcs
-ftest-coverage.

How can I use these information to generate code coverage by zcov ?

thanks

Best Regards

xqx