fsm/initial-state-count

Generated from the language definition for ruleset 1.7.

Severity: error

Since: 1.0

Summary: a board declares no initial state, or more than one

Fix: mark exactly one state initial

See also: /book/workflows