VeriFast solution for challenge 19 (RawVec)#422

tautschnig merged 7 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

btj:verifast-raw-vecbtj/verify-rust-std:verifast-raw-vecCopy head branch name to clipboard