EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j] |
name | class, % | method, % | block, % |
---|---|---|---|
ExitCode | 100% (1/1) | 71% (5/7) | 87% (80/92) |
name | method, % | block, % |
---|---|---|
valueOf (String): ExitCode | 0% (0/1) | 0% (0/5) |
values (): ExitCode [] | 0% (0/1) | 0% (0/4) |
toString (): String | 100% (1/1) | 67% (6/9) |
<static initializer> | 100% (1/1) | 100% (49/49) |
ExitCode (String, int, int): void | 100% (1/1) | 100% (11/11) |
ExitCode (String, int, int, String): void | 100% (1/1) | 100% (11/11) |
value (): int | 100% (1/1) | 100% (3/3) |
[all classes][org.sat4j] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |