A program is used to control a manufacturing line (turn machines on and off, start and stop conveyor belts, add raw materials to the flow, etc.) Not all actions are possible at all times. For example, there are certain manufacturing stages that cannot be stopped - unless there is an emergency.
A tester attempts to evaluate if all such cases (where a specific action is not allowed) are covered by the tests.
Which coverage metric will provide the needed information for this analysis?