Skip to content

Fix rustfmt formatting in slice/mod.rs #[cfg(kani)] blocks

9bd0740
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Verify safety of slice functions (Challenge 17) #559

Fix rustfmt formatting in slice/mod.rs #[cfg(kani)] blocks
9bd0740
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Test testable simd models
succeeded Mar 15, 2026 in 5m 5s