Challenge 21 (partial): bounded Kani PROBE of shipped TwoWaySearcher::next_back short-period arms - #664

Challenge 21 (partial): bounded Kani PROBE of shipped TwoWaySearcher::next_back short-period arms#664

ivmat wants to merge 2 commits into

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

ivmat:challenge-21-nextback-probeivmat/verify-rust-std:challenge-21-nextback-probeCopy head branch name to clipboard