Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book#1760

Merged

mccleeary-galois merged 3 commits intomasterfrom issue-611

Oct 2, 2024

+32

Commits on Oct 1, 2024

Close #611 : Add new section to the High Assurance chapter of the Programming Cryptol book for generating test vectors using :dumptests.
mccleeary-galois
committed
Change example in Generate test vector section to not reference cryptol specs.
mccleeary-galois
committed

Commits on Oct 2, 2024

Update Generate Test Vector Example
mccleeary-galois
committed