fsm/unbounded-cycle

Generated from the language definition for ruleset 1.7.

Severity: error

Since: 1.2

Summary: unguarded edges form a cycle that can avoid every terminal while a guarantee is present

Fix: Guard an edge of the cycle, or give it a path to a terminal.

See also: /book/workflows