EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j] |
name | class, % | method, % | block, % |
---|---|---|---|
AbstractLauncher$1 | 100% (1/1) | 100% (2/2) | 100% (10/10) |
name | method, % | block, % |
---|---|---|
AbstractLauncher$1 (AbstractLauncher): void | 100% (1/1) | 100% (6/6) |
run (): void | 100% (1/1) | 100% (4/4) |
[all classes][org.sat4j] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |