EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j | 80% (4/5) | 46% (22/48) | 43% (683/1605) |
name | class, % | method, % | block, % |
---|---|---|---|
ResultsManager | 0% (0/1) | 0% (0/12) | 0% (0/315) |
Lanceur | 100% (1/1) | 50% (7/14) | 31% (250/799) |
ExitCode | 100% (1/1) | 71% (5/7) | 87% (80/92) |
AbstractLauncher | 100% (1/1) | 62% (8/13) | 88% (343/389) |
AbstractLauncher$1 | 100% (1/1) | 100% (2/2) | 100% (10/10) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |