EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j.minisat.core | 100% (12/12) | 66% (85/128) | 69% (1994/2903) |
name | class, % | method, % | block, % |
---|---|---|---|
ActivityComparator | 100% (1/1) | 50% (1/2) | 27% (3/11) |
Solver$4 | 100% (1/1) | 50% (1/2) | 32% (6/19) |
Solver$1 | 100% (1/1) | 33% (1/3) | 50% (3/6) |
Solver$3 | 100% (1/1) | 50% (1/2) | 50% (6/12) |
Solver | 100% (1/1) | 62% (42/68) | 65% (1323/2021) |
SearchParams | 100% (1/1) | 62% (5/8) | 70% (80/114) |
Heap | 100% (1/1) | 82% (14/17) | 75% (277/367) |
Lbool | 100% (1/1) | 33% (2/6) | 78% (54/69) |
SolverStats | 100% (1/1) | 75% (3/4) | 84% (213/254) |
NullSearchListener | 100% (1/1) | 92% (11/12) | 93% (13/14) |
Handle | 100% (1/1) | 100% (1/1) | 100% (3/3) |
Solver$2 | 100% (1/1) | 100% (3/3) | 100% (13/13) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |