Skip to content

Fix CI: revert to original harnesses + add targeted correctness proofs

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

Challenge 12: Verify safety of NonZero #565

Fix CI: revert to original harnesses + add targeted correctness proofs
dd226f4
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Verify contracts with goto-transcoder
succeeded Apr 3, 2026 in 16m 30s