2 Commits

Author	SHA1	Message	Date
Michael Goulet	8390c61690	Drive-by: Add -Ztrait-solver=next to canonical int var test	2023-03-22 18:26:33 +00:00
Michael Goulet	1b6d6f92d1	Fix canonicalizer bug for int/float vars too	2023-03-09 17:24:07 +00:00