Add loop contracts and harness for small_slice_eq#122

qinheping merged 10 commits into

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

qinheping:loop-contracts/small_slice_eqqinheping/verify-rust-std:loop-contracts/small_slice_eqCopy head branch name to clipboard