Remove isize overflow check for zst offsets#3897
Merged
carolynzech merged 1 commit intomodel-checking:mainfrom Feb 21, 2025
Merged
Remove isize overflow check for zst offsets#3897carolynzech merged 1 commit intomodel-checking:mainfrom
carolynzech merged 1 commit intomodel-checking:mainfrom
Commits
Commits on Feb 21, 2025
- committed
Carolyn Zech