| EMMA Coverage Report (generated Tue May 03 17:02:00 CDT 2011) |
|---|
| [all classes] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| tuffy.main | 100% (2/2) | 100% (7/7) | 77% (403/522) | 84% (78/93) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| NonPartInfer.java | 100% (1/1) | 100% (2/2) | 59% (133/224) | 67% (22.1/33) |
| Infer.java | 100% (1/1) | 100% (5/5) | 91% (270/298) | 93% (55.9/60) |
| [all classes] |
| EMMA 2.0.5312 (C) Vladimir Roubtsov |