Skip to content

Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding - #4671

Open
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:fix-offset-model-wrap
Open

Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding#4671
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:fix-offset-model-wrap

Commits

Commits on Jul 24, 2026