zcov:
/
tools
/
klee
/
Files:
2
Branches Taken:
52.9%
238 / 450
Generated:
2009-05-17 22:47
Branches Executed:
71.1%
320 / 450
Line Coverage:
69.9%
408 / 584
Name
Coverage
Line
Branches Taken
Debug.cpp
25.0%
1 / 4 lines
33.3%
2 / 6 branches
main.cpp
70.2%
407 / 580 lines
53.2%
236 / 444 branches
Generated: 2009-05-17 22:47 by
zcov
