zcov:
/
include
/
klee
/
util
/
Files:
9
Branches Taken:
81.4%
931 / 1144
Generated:
2009-05-17 22:47
Branches Executed:
90.0%
1030 / 1144
Line Coverage:
78.0%
248 / 318
Name
Coverage
Line
Branches Taken
Assignment.h
96.3%
26 / 27 lines
75.0%
15 / 20 branches
BitArray.h
100.0%
11 / 11 lines
57.1%
8 / 14 branches
Bits.h
85.0%
17 / 20 lines
76.7%
46 / 60 branches
ExprEvaluator.h
100.0%
2 / 2 lines
50.0%
1 / 2 branches
ExprHashMap.h
100.0%
3 / 3 lines
N/A
0 / 0 branches
ExprPPrinter.h
100.0%
2 / 2 lines
50.0%
4 / 8 branches
ExprRangeEvaluator.h
57.3%
55 / 96 lines
47.7%
31 / 65 branches
ExprVisitor.h
100.0%
8 / 8 lines
50.0%
1 / 2 branches
Ref.h
83.2%
124 / 149 lines
84.8%
825 / 973 branches
Generated: 2009-05-17 22:47 by
zcov
