EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.reader] |
name | class, % | method, % | block, % |
---|---|---|---|
GoodOPBReader | 0% (0/1) | 0% (0/6) | 0% (0/485) |
name | method, % | block, % |
---|---|---|
<static initializer> | 0% (0/1) | 0% (0/8) |
GoodOPBReader (ISolver): void | 0% (0/1) | 0% (0/16) |
decode (int []): String | 0% (0/1) | 0% (0/53) |
parseInstance (LineNumberReader): IProblem | 0% (0/1) | 0% (0/30) |
parseInstance (Reader): IProblem | 0% (0/1) | 0% (0/7) |
parseLine (String): void | 0% (0/1) | 0% (0/371) |
[all classes][org.sat4j.reader] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |