Skip to content

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

Open
ivmat wants to merge 2 commits into
model-checking:mainfrom
ivmat:challenge-21-nextback-probe
Open

Challenge 21 (partial): bounded Kani PROBE of shipped TwoWaySearcher::next_back short-period arms#664
ivmat wants to merge 2 commits into
model-checking:mainfrom
ivmat:challenge-21-nextback-probe

Commits

Commits on Aug 29, 2026