zcov:
/
include
/
klee
/
Files:
33
Branches Taken:
69.7%
1344 / 1928
Generated:
2009-05-17 22:47
Branches Executed:
78.0%
1503 / 1928
Line Coverage:
78.7%
991 / 1259
Name
Coverage
Line
Branches Taken
Constraints.h
100.0%
9 / 9 lines
N/A
0 / 0 branches
ExecutionState.h
33.3%
7 / 21 lines
0.0%
0 / 15 branches
Expr.h
85.8%
157 / 183 lines
18.0%
29 / 161 branches
IncompleteSolver.h
100.0%
2 / 2 lines
20.0%
1 / 5 branches
Internal
76.1%
493 / 648 lines
63.4%
362 / 571 branches
Interpreter.h
100.0%
6 / 6 lines
36.4%
4 / 11 branches
Memory.h
100.0%
23 / 23 lines
100.0%
3 / 3 branches
Solver.h
88.9%
8 / 9 lines
N/A
0 / 0 branches
SolverImpl.h
100.0%
1 / 1 lines
N/A
0 / 0 branches
Statistic.h
100.0%
5 / 5 lines
N/A
0 / 0 branches
Statistics.h
96.6%
28 / 29 lines
77.8%
14 / 18 branches
TimerStatIncrementer.h
80.0%
4 / 5 lines
N/A
0 / 0 branches
util
78.0%
248 / 318 lines
81.4%
931 / 1144 branches
Generated: 2009-05-17 22:47 by
zcov
