StateMachine.Validation (state_machine v0.1.8)
StateMachine supports automatic validation on compile time. It makes its best effort to ensure determinism (to some degree). It checks that all used states were previously defined.
TODO: Check unreachable states?
Summary
Functions
Validates presense of states used in transitions.
Validates that no more than one unguarded transition is originated in every state.