VeriFast solution for Challenge 5 (linked_list.rs)#238

btj wants to merge 3 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

btj:verifast-linked-listbtj/verify-rust-std:verifast-linked-listCopy head branch name to clipboard