Skip to content

Suggest result checks and argument conditions in state hints - #474

Merged
CatarinaGamboa merged 3 commits into
mainfrom
state-hints-guards-and-argument-conditions
Nov 4, 2026
Merged

Suggest result checks and argument conditions in state hints#474
CatarinaGamboa merged 3 commits into
mainfrom
state-hints-guards-and-argument-conditions

Leave a guard's arguments for the caller and name parameters that con…

0afdf6a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar