Repository navigation

test(aead-frame): land the storage corpus coverage and Kani proofs on main - #557

Merged

coderdan merged 17 commits into

mainfrom

feat/storage-corpus-coverage

Nov 1, 2026

Merged

test(aead-frame): land the storage corpus coverage and Kani proofs on main#557
coderdan merged 17 commits into
mainfrom
feat/storage-corpus-coverage

Commits on Oct 27, 2026
Commits on Oct 28, 2026
- test(aead-frame): check the reference reader names the right rule for hand-made blobs, since the coverage test trusts that answer
  coderdan
  committed
  d7430e8
- test(vcffi): skip a deny-unknown refusal row only when Go reads it, so a row of that type refused for another reason is still checked
  coderdan
  committed
  df88fb4