EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j.minisat.learning | 80% (4/5) | 82% (18/22) | 82% (150/183) |
name | class, % | method, % | block, % |
---|---|---|---|
FixedLengthLearning | 0% (0/1) | 0% (0/3) | 0% (0/21) |
AbstractLearning | 100% (1/1) | 100% (5/5) | 81% (34/42) |
LimitedLearning | 100% (1/1) | 89% (8/9) | 96% (94/98) |
MiniSATLearning | 100% (1/1) | 100% (3/3) | 100% (15/15) |
NoLearningButHeuristics | 100% (1/1) | 100% (2/2) | 100% (7/7) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |