Assertion: decision coverage | /r/HasProperty | invoked
Facets:
value: least once
type: TEMPORAL
Source sentences:
text: Modified condition/decision coverage Every point of entry and exit in the program has been invoked at least once, every condition in a decision in the program has taken all possible outcomes at least once, and each condition has been shown to affect that decision outcome independently.