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

State hints: name only the state the call leads to, and no guard when a call sequence works#524
CatarinaGamboa merged 1 commit into
mainfrom
state-hints-518-519

State hints: name only the state the call leads to, and no guard when…

d65da22
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar