covered property

bool? covered
getter/setter pair

Whether the transition is covered by at least one of the agent's test cases.

Implementation

core.bool? covered;