Allow zero-sized offsets on dangling pointers in ptr contracts - #625

Allow zero-sized offsets on dangling pointers in ptr contracts#625

feliperodri merged 1 commit into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:fix-zero-offset-contractstautschnig/verify-rust-std:fix-zero-offset-contractsCopy head branch name to clipboard