EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.reader] |
name | class, % | method, % | block, % |
---|---|---|---|
Reader | 100% (1/1) | 67% (2/3) | 51% (20/39) |
name | method, % | block, % |
---|---|---|
parseInstance (InputStream): IProblem | 0% (0/1) | 0% (0/7) |
parseInstance (String): IProblem | 100% (1/1) | 59% (17/29) |
Reader (): void | 100% (1/1) | 100% (3/3) |
[all classes][org.sat4j.reader] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |