Skip to content

State hints: name only the state the call leads to, and no guard when a call sequence works - #524

Merged
CatarinaGamboa merged 1 commit into
mainfrom
state-hints-518-519
Nov 10, 2026
Merged

CatarinaGamboa merged 1 commit into
mainfrom
state-hints-518-519

Commits

  1. Commits on Nov 10, 2026