Skip to content

Keep the values expected depends on in the counterexample - #460

Merged
CatarinaGamboa merged 3 commits into
mainfrom
fix/counterexample-expected-vars
Nov 3, 2026
Merged

Keep the values expected depends on in the counterexample#460
CatarinaGamboa merged 3 commits into
mainfrom
fix/counterexample-expected-vars

Show no counterexample when found fixes every value expected depends on

b9d7e9b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar