Skip to content

Fix constant shift distances above INT_MAX in SAT backend - #9281

Open
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:kiro/rr-2-21-boolbv-huge-shift
Open

Fix constant shift distances above INT_MAX in SAT backend#9281
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:kiro/rr-2-21-boolbv-huge-shift

Fix constant shift distances above INT_MAX in SAT backend

8ef9ee1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 notice
Analyze (python)
failed Oct 28, 2026 in 9m 30s