fsm/unreachable-state

Generated from the language definition for ruleset 1.7.

Severity: warning

Since: 1.0

Summary: forward edges from the initial state never reach this state

Fix: add a transition into it, or drop it

See also: /book/workflows