EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.minisat.core] |
name | class, % | method, % | block, % |
---|---|---|---|
SolverStats | 100% (1/1) | 75% (3/4) | 84% (213/254) |
name | method, % | block, % |
---|---|---|
toMap (): Map | 0% (0/1) | 0% (0/41) |
SolverStats (): void | 100% (1/1) | 100% (3/3) |
printStat (PrintWriter, String): void | 100% (1/1) | 100% (170/170) |
reset (): void | 100% (1/1) | 100% (40/40) |
[all classes][org.sat4j.minisat.core] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |