Test suite file:
tests.lgt
Test suite object:
tests
Generated on:
2020-03-04T11:56:45
Global Coverage | Covered/Total | Percentage |
---|---|---|
Entities | 100.0 | |
Predicate Clauses and Grammar Rules | 80.0 |
action
Entity Coverage | Covered/Total | Percentage |
---|---|---|
Predicate Clauses and Grammar Rules | 100.0 |
Predicate/Non-terminal Coverage | Covered/Total | Covered Clause/Rule Indexes |
---|---|---|
do/2
|
[1] | |
retract_assert/2
|
[] |
fluent
Entity Coverage | Covered/Total | Percentage |
---|---|---|
Predicate Clauses and Grammar Rules | 100.0 |
Predicate/Non-terminal Coverage | Covered/Total | Covered Clause/Rule Indexes |
---|---|---|
holds/1
|
[1] |
stripstate
Entity Coverage | Covered/Total | Percentage |
---|---|---|
Predicate Clauses and Grammar Rules | 75.0 |
Predicate/Non-terminal Coverage | Covered/Total | Covered Clause/Rule Indexes |
---|---|---|
holds_/2
|
[1,2,3,4] | |
is_obj_fluent/1
|
[1] | |
poss/2
|
[1] | |
empty/1
|
[] | |
do/3
|
[] |