Skip to content

Challenge 8: Kani contracts for SmallSort - #640

Open
sankalpsthakur wants to merge 4 commits into
model-checking:mainfrom
sankalpsthakur:challenge/08-smallsort
Open

Challenge 8: Kani contracts for SmallSort#640
sankalpsthakur wants to merge 4 commits into
model-checking:mainfrom
sankalpsthakur:challenge/08-smallsort

Challenge 8: rustfmt smallsort.rs for upstream_test

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

Annotations

1 warning
Verify std library
succeeded Aug 20, 2026 in 32s