EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.minisat.core] |
name | class, % | method, % | block, % |
---|---|---|---|
SearchParams | 100% (1/1) | 62% (5/8) | 70% (80/114) |
name | method, % | block, % |
---|---|---|
SearchParams (double, double, double, int): void | 0% (0/1) | 0% (0/9) |
SearchParams (double, int): void | 0% (0/1) | 0% (0/9) |
SearchParams (int): void | 0% (0/1) | 0% (0/9) |
toString (): String | 100% (1/1) | 86% (44/51) |
SearchParams (): void | 100% (1/1) | 100% (9/9) |
SearchParams (double, double, double, double, double, int): void | 100% (1/1) | 100% (21/21) |
getClaDecay (): double | 100% (1/1) | 100% (3/3) |
getVarDecay (): double | 100% (1/1) | 100% (3/3) |
[all classes][org.sat4j.minisat.core] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |