fsm/no-path-to-terminal

Generated from the language definition for ruleset 1.7.

Severity: error

Since: 1.2

Summary: a non-terminal state cannot reach a terminal while a guarantee is present

Fix: Give the state a path to a terminal, or declare it terminal.

See also: /book/workflows