Skip to content

Treat an argument with no known refinement as unconstrained - #496

Open
CatarinaGamboa wants to merge 2 commits into
mainfrom
fix/451-sort-mismatch
Open

Treat an argument with no known refinement as unconstrained#496
CatarinaGamboa wants to merge 2 commits into
mainfrom
fix/451-sort-mismatch

Skip the equality only for a bare true, not a true-valued expression

54a6de7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar