EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j.minisat.constraints | 100% (3/3) | 75% (12/16) | 83% (95/115) |
name | class, % | method, % | block, % |
---|---|---|---|
MixedDataStructureDaniel | 100% (1/1) | 50% (1/2) | 27% (3/11) |
AbstractDataStructureFactory | 100% (1/1) | 73% (8/11) | 84% (64/76) |
ClausalDataStructureWL | 100% (1/1) | 100% (3/3) | 100% (28/28) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |