Skip to content

Challenge 8: Verify SmallSort with Kani - #701

Open
v3risec wants to merge 1 commit into
model-checking:mainfrom
v3risec:challenge-8-smallsort
Open

v3risec wants to merge 1 commit into
model-checking:mainfrom
v3risec:challenge-8-smallsort

Add Kani verification methods for Challenge 8

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

Annotations

1 warning and 1 notice
Test testable simd models
succeeded Sep 29, 2026 in 4m 55s