Skip to content

Remove the overflow checks for wrapping_offset#3589

Merged
zhassan-aws merged 1 commit intomodel-checking:mainfrom zhassan-aws:fix-iss3582Oct 10, 2024