Skip to content

Show a counterexample for state errors, restricted to the shown Found - #527

Closed
CatarinaGamboa wants to merge 2 commits into
mainfrom
state-counterexample
Closed

Show a counterexample for state errors, restricted to the shown Found#527
CatarinaGamboa wants to merge 2 commits into
mainfrom
state-counterexample

Show no state counterexample when every value fails the call

8b74fa3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar