Simplify all-zero or all-one constants in bitand/bitor#8944
Merged
kroening merged 1 commit intodiffblue:developfrom Apr 9, 2026
Merged
Simplify all-zero or all-one constants in bitand/bitor#8944kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
