zcov:
/
lib
/
Solver
/
Files:
12
Branches Taken:
53.6%
623 / 1163
Generated:
2009-05-17 22:47
Branches Executed:
65.3%
760 / 1163
Line Coverage:
67.7%
1051 / 1553
Name
Coverage
Line
Branches Taken
CachingSolver.cpp
88.0%
81 / 92 lines
74.5%
41 / 55 branches
CexCachingSolver.cpp
82.2%
97 / 118 lines
61.6%
69 / 112 branches
ConstantDivision.cpp
82.7%
43 / 52 lines
81.2%
13 / 16 branches
FastCexSolver.cpp
69.5%
237 / 341 lines
56.3%
196 / 348 branches
IncompleteSolver.cpp
28.1%
18 / 64 lines
24.1%
14 / 58 branches
IndependentSolver.cpp
83.2%
84 / 101 lines
72.9%
51 / 70 branches
LoggingSolver.cpp
98.0%
48 / 49 lines
50.0%
15 / 30 branches
PCLoggingSolver.cpp
86.9%
53 / 61 lines
60.0%
24 / 40 branches
STPBuilder.cpp
80.9%
304 / 376 lines
71.7%
142 / 198 branches
STPBuilder.h
100.0%
17 / 17 lines
82.1%
23 / 28 branches
Solver.cpp
21.7%
59 / 272 lines
16.2%
33 / 204 branches
SolverStats.cpp
100.0%
10 / 10 lines
50.0%
2 / 4 branches
Generated: 2009-05-17 22:47 by
zcov
