Skip to content

test(aead-frame): prove the storage reader's pieces with Kani - #531

Merged
coderdan merged 8 commits into
feat/storage-corpus-coveragefrom
feat/storage-kani-proofs
Oct 26, 2026
Merged

test(aead-frame): prove the storage reader's pieces with Kani#531
coderdan merged 8 commits into
feat/storage-corpus-coveragefrom
feat/storage-kani-proofs

ci: prove the storage reader again when vitaminc-protected changes

d57c5db
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar