fsm/infer-fail

Generated from the language definition for ruleset 1.7.

Severity: error

Since: 1.4

Summary: an infer fail state is missing, unknown, or leaves the guarantee without aside

Fix: name a declared state: the next guarantee state, or mark the edge aside

See also: /reference/effects