Skip to content

Verify safety of slice functions (Challenge 17) - #703

Open
kasimte wants to merge 2 commits into
model-checking:mainfrom
kasimte:ch17-slice
Open

kasimte wants to merge 2 commits into
model-checking:mainfrom
kasimte:ch17-slice

Sync Challenge 17 slice harnesses to current main (toolchain nightly-…

23e2601
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 Oct 7, 2026 in 4m 38s