EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.reader] |
name | class, % | method, % | block, % |
---|---|---|---|
InstanceReader | 100% (1/1) | 40% (4/10) | 41% (95/233) |
name | method, % | block, % |
---|---|---|
getCSPReader1 (): Reader | 0% (0/1) | 0% (0/13) |
getCSPReader2 (): Reader | 0% (0/1) | 0% (0/13) |
getCSPReader3 (): Reader | 0% (0/1) | 0% (0/13) |
getDefaultExtendedDimacsReader (): Reader | 0% (0/1) | 0% (0/13) |
getDefaultOPBReader (): Reader | 0% (0/1) | 0% (0/13) |
parseInstance (Reader): IProblem | 0% (0/1) | 0% (0/4) |
parseInstance (String): IProblem | 100% (1/1) | 50% (68/137) |
InstanceReader (ISolver): void | 100% (1/1) | 100% (9/9) |
decode (int []): String | 100% (1/1) | 100% (5/5) |
getDefaultSATReader (): Reader | 100% (1/1) | 100% (13/13) |
[all classes][org.sat4j.reader] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |