EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j.reader | 30% (3/10) | 20% (15/74) | 15% (422/2751) |
name | class, % | method, % | block, % |
---|---|---|---|
CSPExtSupportReader | 0% (0/1) | 0% (0/2) | 0% (0/14) |
CSPReader | 0% (0/1) | 0% (0/10) | 0% (0/449) |
CSPSupportReader | 0% (0/1) | 0% (0/2) | 0% (0/28) |
DimacsReader | 0% (0/1) | 0% (0/12) | 0% (0/332) |
ExtendedDimacsReader | 0% (0/1) | 0% (0/15) | 0% (0/803) |
GoodOPBReader | 0% (0/1) | 0% (0/6) | 0% (0/485) |
ParseFormatException | 0% (0/1) | 0% (0/4) | 0% (0/31) |
InstanceReader | 100% (1/1) | 40% (4/10) | 41% (95/233) |
Reader | 100% (1/1) | 67% (2/3) | 51% (20/39) |
LecteurDimacs | 100% (1/1) | 90% (9/10) | 91% (307/337) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |