EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.minisat.learning] |
name | class, % | method, % | block, % |
---|---|---|---|
AbstractLearning | 100% (1/1) | 100% (5/5) | 81% (34/42) |
name | method, % | block, % |
---|---|---|
claBumpActivity (Constr): void | 100% (1/1) | 73% (19/26) |
<static initializer> | 100% (1/1) | 88% (7/8) |
AbstractLearning (): void | 100% (1/1) | 100% (3/3) |
init (): void | 100% (1/1) | 100% (1/1) |
setVarActivityListener (VarActivityListener): void | 100% (1/1) | 100% (4/4) |
[all classes][org.sat4j.minisat.learning] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |