zcov:
/
tools
/
Files:
3
Branches Taken:
53.6%
259 / 483
Generated:
2009-05-17 22:47
Branches Executed:
73.1%
353 / 483
Line Coverage:
71.7%
454 / 633
Name
Coverage
Line
Branches Taken
kleaver
93.9%
46 / 49 lines
63.6%
21 / 33 branches
klee
69.9%
408 / 584 lines
52.9%
238 / 450 branches
Generated: 2009-05-17 22:47 by
zcov
