Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
Total | 2,186 of 5,283 | 58% | 288 of 561 | 48% | 224 | 473 | 429 | 1,103 | 52 | 188 | 1 | 18 |
BindingsTable.java | ![]() ![]() | 41% | ![]() ![]() | 29% | 98 | 143 | 159 | 275 | 15 | 34 | 1 | 3 |
Prolog.java | ![]() ![]() | 59% | ![]() ![]() | 68% | 41 | 113 | 97 | 256 | 13 | 51 | 0 | 1 |
Engine.java | ![]() ![]() | 67% | ![]() ![]() | 70% | 15 | 49 | 33 | 121 | 4 | 18 | 0 | 2 |
ChoicePoint.java | ![]() ![]() | 45% | ![]() ![]() | 27% | 11 | 23 | 23 | 55 | 3 | 12 | 0 | 1 |
LibraryAndTheoryManager.java | ![]() ![]() | 63% | ![]() ![]() | 57% | 15 | 38 | 34 | 101 | 3 | 18 | 0 | 1 |
LinkTable.java | ![]() ![]() | 50% | ![]() ![]() | 41% | 10 | 18 | 22 | 44 | 5 | 12 | 0 | 1 |
SolutionManager.java | ![]() ![]() | 50% | ![]() ![]() | 35% | 14 | 22 | 27 | 56 | 1 | 5 | 0 | 1 |
GarbageCan.java | ![]() ![]() | 64% | ![]() ![]() | 58% | 5 | 12 | 14 | 44 | 2 | 6 | 0 | 1 |
Solution.java | ![]() ![]() | 45% | ![]() | 16% | 5 | 11 | 8 | 20 | 2 | 8 | 0 | 1 |
PrimitiveInfo.java | ![]() ![]() | 52% | n/a | 1 | 2 | 1 | 6 | 1 | 2 | 0 | 1 | |
ClauseDatabase.java | ![]() ![]() | 90% | ![]() ![]() | 87% | 3 | 21 | 6 | 42 | 2 | 13 | 0 | 2 |
OperatorTable.java | ![]() ![]() | 93% | ![]() ![]() | 73% | 6 | 20 | 5 | 41 | 1 | 8 | 0 | 2 |
DefaultProlog.java | ![]() | 100% | n/a | 0 | 1 | 0 | 42 | 0 | 1 | 0 | 1 |