Skip to content

Drop true binders the error does not need and write fields as in code - #459

Merged
CatarinaGamboa merged 5 commits into
mainfrom
fix/457-true-binders
Nov 3, 2026
Merged

Drop true binders the error does not need and write fields as in code#459
CatarinaGamboa merged 5 commits into
mainfrom
fix/457-true-binders

List expected's values first in the static field counterexample, as m…

a56f0d1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar