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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
