Coverage Summary for Package: it.unibo.tuprolog.argumentation.core.engine.fsm
| Package | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| it.unibo.tuprolog.argumentation.core.engine.fsm | 95.2% (40/42) | 89% (137/154) | 83.3% (315/378) | 89.1% (540/606) | 91.2% (4518/4956) |
| Class | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| Utils | 100% (2/2) | 100% (17/17) | 96.4% (27/28) | 94.7% (54/57) | 91.6% (417/455) |
| TheoryIndexes | 100% (1/1) | 100% (3/3) | 92.9% (13/14) | 100% (17/17) | 100% (141/141) |
| SubstitutionExtensionKt | 100% (1/1) | 100% (1/1) | 100% (6/6) | 100% (6/6) | 100% (55/55) |
| StoredClauseResolver | 100% (2/2) | 100% (12/12) | 92.7% (89/96) | 95.3% (61/64) | 98.9% (650/657) |
| StateRuleExecution | 100% (1/1) | 100% (3/3) | 100% (2/2) | 100% (15/15) | 100% (130/130) |
| StatePrimitiveSelection | 100% (1/1) | 100% (3/3) | 61.1% (11/18) | 68.4% (26/38) | 78.1% (189/242) |
| StatePrimitiveExecution | 100% (1/1) | 88.9% (8/9) | 68.2% (15/22) | 93.5% (29/31) | 94.1% (272/289) |
| StateInit | 100% (1/1) | 100% (2/2) | 100% (17/17) | 100% (68/68) | |
| StateHalt | 100% (1/1) | 100% (1/1) | 100% (4/4) | 100% (19/19) | |
| StateGoalSelection | 100% (1/1) | 100% (2/2) | 100% (14/14) | 100% (39/39) | 100% (305/305) |
| StateException | 100% (1/1) | 100% (10/10) | 70% (14/20) | 91.5% (43/47) | 92.1% (268/291) |
| StateEnd | 100% (1/1) | 100% (3/3) | 50% (1/2) | 87.5% (7/8) | 96.9% (63/65) |
| StateBacktracking | 100% (1/1) | 100% (2/2) | 62.5% (5/8) | 82.4% (14/17) | 68.2% (105/154) |
| State | 100% (1/1) | 66.7% (2/3) | 50% (1/2) | 66.7% (2/3) | 31.2% (5/16) |
| Resolution | 100% (1/1) | 100% (2/2) | 100% (4/4) | 100% (16/16) | |
| RenamingClauseResolver | 100% (1/1) | 100% (2/2) | 100% (2/2) | 100% (9/9) | 100% (62/62) |
| ProgramClauses | 100% (2/2) | 100% (7/7) | 90% (9/10) | 94.7% (18/19) | 96% (145/151) |
| NegationConstruct | 100% (1/1) | 100% (2/2) | 100% (4/4) | 100% (79/79) | |
| MutableTheoryClauses | 100% (1/1) | 100% (2/2) | 100% (3/3) | 100% (10/10) | |
| MetaCall | 100% (1/1) | 100% (3/3) | 100% (9/9) | 100% (177/177) | |
| InterruptionKt | 100% (1/1) | 100% (1/1) | 100% (1/1) | 100% (2/2) | |
| IndexedTheoryClauses | 100% (1/1) | 100% (2/2) | 80% (8/10) | 100% (8/8) | 99% (95/96) |
| FirstArgumentIndex | 100% (2/2) | 100% (4/4) | 100% (16/16) | 100% (19/19) | 100% (132/132) |
| FactResolution | 100% (1/1) | 100% (1/1) | 100% (8/8) | 100% (7/7) | 100% (112/112) |
| EndState | 100% (1/1) | 100% (3/3) | 100% (2/2) | 100% (3/3) | 100% (10/10) |
| DelegationStates | 100% (1/1) | 100% (4/4) | 87.5% (14/16) | 100% (21/21) | 100% (178/178) |
| ControlConstructs | 100% (1/1) | 100% (2/2) | 75% (3/4) | 100% (3/3) | 97.8% (44/45) |
| ClauseResolver | 100% (1/1) | 100% (1/1) | 100% (2/2) | 100% (1/1) | 100% (11/11) |
| CallConstruct | 100% (1/1) | 100% (2/2) | 100% (3/3) | 100% (58/58) | |
| AbstractState | 100% (1/1) | 100% (7/7) | 80% (8/10) | 100% (11/11) | 82.4% (108/131) |
| AbstractEndState | 100% (1/1) | 50% (1/2) | 80% (4/5) | 76.5% (13/17) | |
| StateRuleSelection | 75% (3/4) | 69.6% (16/23) | 70.4% (38/54) | 71.6% (68/95) | 76.3% (484/634) |
| RuleCursor | 66.7% (2/3) | 46.2% (6/13) | 58.3% (7/12) | 55.6% (10/18) | 64.2% (95/148) |