Hi, I built Klee with LLVM3.4 and tried to do an experiment with Coreutils6.10. After I generated test data by Klee, I tried to get the coverage information about these test cases only for source files ( not including lib files). And I have two questions about the coverage.
1, For branch coverage, I used *klee-stats *to get branch coverage information. But the *B**cov *is right? I have used klee-cde-package, and the* Icov* and *Bcov* are same for each program in Coreutils6.10. 2, For statement coverage, since gcov is only used for files compiled by gcc, but in my experiments, .bc files are generated by whole-program-llvm, so gcov cannot be used to get statement coverage information. Actually, I have used orders *klee-replay *and *gcov* to get statement coverage information shown in (*http://klee.github.io/tutorials/testing-coreutils/ <http://klee.github.io/tutorials/testing-coreutils/>)* . But when I used *gcov*, such as* gcov echo*, the error message is *echo.gcda: cannot open data file assuming not executed* I have* .cvc* files, *.cov *files and *.ktest* files generated by Klee, so how I get the statement coverage information only for source files? Thank you! Zhiyi Zhang
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
