zcov:
/
include
/
Files:
35
Branches Taken:
69.1%
1347 / 1948
Generated:
2009-05-17 22:47
Branches Executed:
77.5%
1509 / 1948
Line Coverage:
78.8%
998 / 1266
Name
Coverage
Line
Branches Taken
expr
100.0%
7 / 7 lines
15.0%
3 / 20 branches
klee
78.7%
991 / 1259 lines
69.7%
1344 / 1928 branches
Generated: 2009-05-17 22:47 by
zcov
