| EMMA Coverage Report (generated Tue May 03 17:02:00 CDT 2011) |
|---|
| [all classes][tuffy.test] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| ClauseTest.java | 100% (1/1) | 100% (6/6) | 100% (576/578) | 100% (131/131) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| class ClauseTest | 100% (1/1) | 100% (6/6) | 100% (576/578) | 100% (131/131) |
| testMisc (): void | 100% (1/1) | 99% (174/175) | 100% (37/37) | |
| testAbsorb (): void | 100% (1/1) | 99% (181/182) | 100% (41/41) | |
| ClauseTest (): void | 100% (1/1) | 100% (3/3) | 100% (1/1) | |
| setUp (): void | 100% (1/1) | 100% (41/41) | 100% (11/11) | |
| testClauseDB (): void | 100% (1/1) | 100% (93/93) | 100% (23/23) | |
| testNormalize (): void | 100% (1/1) | 100% (84/84) | 100% (18/18) |
| [source file 'tuffy/test/ClauseTest.java' not found in sourcepath] |
|---|
| [all classes][tuffy.test] |
| EMMA 2.0.5312 (C) Vladimir Roubtsov |