Coverage Summary for Package: it.unibo.tuprolog.argumentation.core.engine
| Package | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| it.unibo.tuprolog.argumentation.core.engine | 93.8% (15/16) | 47.7% (53/111) | 65.2% (43/66) | 62.3% (236/379) | 53% (1357/2559) |
| Class | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| AbstractPrologSolver | 100% (1/1) | 100% (8/8) | 90% (9/10) | 100% (53/53) | 97% (259/267) |
| Arg2pPrologSolverFactory | 100% (1/1) | 80% (4/5) | 80% (4/5) | 77.4% (48/62) | |
| ChoicePointContext | 100% (4/4) | 52.9% (9/17) | 50% (6/12) | 81.1% (60/74) | 88.6% (365/412) |
| ChoicePointContextKt | 100% (1/1) | 100% (3/3) | 100% (2/2) | 60% (3/5) | 87.1% (27/31) |
| ClauseObservers | 100% (1/1) | 66.7% (2/3) | 50% (1/2) | 50% (3/6) | 25.9% (7/27) |
| Inlining | 100% (1/1) | 100% (1/1) | 100% (3/3) | 100% (12/12) | |
| MutablePrologSolver | 100% (1/1) | 16.7% (8/48) | 14.3% (14/98) | 12.8% (133/1039) | |
| PrologExecutionContext | 100% (1/1) | 75% (12/16) | 62.5% (25/40) | 82.5% (85/103) | 80.9% (448/554) |
| PrologSolver | 100% (1/1) | 60% (3/5) | 17.4% (4/23) | 23% (28/122) | |
| RelevantGoals | 100% (1/1) | 100% (1/1) | 100% (3/3) | 100% (12/12) | |
| SolutionIterator | 50% (1/2) | 33.3% (1/3) | 33.3% (1/3) | 66.7% (6/9) | |
| Sourcing | 100% (1/1) | 100% (1/1) | 100% (3/3) | 100% (12/12) |