Congruences: Make % sound by restricting cases where we return a constant#1161
Merged
sim642 merged 1 commit intomasterfrom issue_1156Sep 13, 2023
+35-12
% sound by restricting cases where we return a constant#1161