BB.Dsl.Verifiers.ValidateStateRefs (bb v0.15.2)

Copy Markdown View Source

Validates that state references in commands are valid.

This verifier checks:

  • All states in allowed_states are defined in the states section (or :idle)
  • The initial_state setting references a defined state
  • Commands using {BB.Command.SetState, to: state} reference valid states