Use byte-wise memchr under Kani to cut symbolic execution cost - #628

Use byte-wise memchr under Kani to cut symbolic execution cost#628

tautschnig wants to merge 2 commits into

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

tautschnig:kani-naive-memchrtautschnig/verify-rust-std:kani-naive-memchrCopy head branch name to clipboard