Skip to content

Challenge 13: Kani contracts for CStr - #648

Open
sankalpsthakur wants to merge 3 commits into
model-checking:mainfrom
sankalpsthakur:challenge/13-cstr
Open

Challenge 13: Kani contracts for CStr#648
sankalpsthakur wants to merge 3 commits into
model-checking:mainfrom
sankalpsthakur:challenge/13-cstr

CStr: drop heavy safe-method contracts that timed out Kani partition 2

aaded88
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 30s