| EMMA Coverage Report (generated Tue May 03 17:02:00 CDT 2011) |
|---|
| [all classes] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| tuffy.test | 100% (14/14) | 97% (64/66) | 93% (4361/4671) | 94% (828.6/881) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| ConfigTest.java | 100% (1/1) | 50% (1/2) | 9% (3/32) | 10% (1/10) |
| InferenceTest.java | 100% (1/1) | 100% (7/7) | 79% (722/917) | 75% (103.3/138) |
| GroundingTest.java | 100% (1/1) | 67% (2/3) | 81% (126/155) | 85% (33/39) |
| LearnerTest.java | 100% (1/1) | 100% (5/5) | 95% (652/685) | 98% (73.4/75) |
| GClauseTest.java | 100% (1/1) | 100% (5/5) | 96% (265/276) | 99% (46.4/47) |
| GAtomTest.java | 100% (1/1) | 100% (4/4) | 97% (247/255) | 99% (46.7/47) |
| PredicateTest.java | 100% (1/1) | 100% (11/11) | 99% (475/478) | 100% (115.8/116) |
| ClauseTest.java | 100% (1/1) | 100% (6/6) | 100% (576/578) | 100% (131/131) |
| AtomTest.java | 100% (1/1) | 100% (3/3) | 100% (237/237) | 100% (53/53) |
| LiteralTest.java | 100% (1/1) | 100% (5/5) | 100% (541/541) | 100% (108/108) |
| ParsingLoadingTest.java | 100% (1/1) | 100% (4/4) | 100% (95/95) | 100% (27/27) |
| TermTest.java | 100% (1/1) | 100% (2/2) | 100% (35/35) | 100% (8/8) |
| TupleTest.java | 100% (1/1) | 100% (3/3) | 100% (225/225) | 100% (46/46) |
| TypeTest.java | 100% (1/1) | 100% (6/6) | 100% (162/162) | 100% (36/36) |
| [all classes] |
| EMMA 2.0.5312 (C) Vladimir Roubtsov |