Skip to content

Challenge 21: Verify safety of StrSearcher with Kani - #621

Open
v3risec wants to merge 5 commits into
model-checking:mainfrom
v3risec:challenge-21-string-searcher
Open

Challenge 21: Verify safety of StrSearcher with Kani#621
v3risec wants to merge 5 commits into
model-checking:mainfrom
v3risec:challenge-21-string-searcher

Merge branch 'main' into challenge-21-string-searcher

f074cd0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error, 1 warning, and 1 notice
check-flux-on-core
failed Oct 27, 2026 in 3m 9s