Harnesses verifying slice types for add, sub and offset#179

tautschnig merged 39 commits into

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

stogaru:verify/ptr_mut_slice_typesstogaru/verify-rust-std:verify/ptr_mut_slice_typesCopy head branch name to clipboard