Add documentation for :dumptests via a new section in the High Assurance chapter of Programming in Cryptol Book #1760
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…ramming Cryptol book for generating test vectors using :dumptests. An example is also given using SHA2 256.
mccleeary-galois
temporarily deployed
to
github-pages
GitHub Actions
Inactive
Closed
sauclovian-g
reviewed
Oct 1, 2024
marsella
reviewed
Oct 1, 2024
sauclovian-g
reviewed
Oct 1, 2024
…ol specs. Keep example as a polymporphic function using multiple inputs and a non Bit output to show that it can handle that case now. Also fix up some minor typos and clarify a few sentences.
mccleeary-galois
temporarily deployed
to
github-pages
GitHub Actions
Inactive
marsella
reviewed
Oct 2, 2024
| :dumptests <results file> <function> | ||
| :dumptests results.txt myFunction | ||
| \end{Verbatim} | ||
| The results file will contain a tab delimited file in which the first column contains the output, and each column after contains the inputs to the function in order. |
There was a problem hiding this comment.
suggested rephrase: "tab delimited file" -> "tab delimited table"? I don't love the phrasing of "the file contains a file" but I'm struggling to find a better word.
mccleeary-galois
temporarily deployed
to
github-pages
GitHub Actions
Inactive
Use different size output to reiterate that the output is first in the results of :dumptests. Some minor rewording and wordsmithing.
mccleeary-galois
force-pushed
the
issue-611
branch
from
cb374c3 to
75a61ec
Compare
mccleeary-galois
temporarily deployed
to
github-pages
GitHub Actions
Inactive
marsella
approved these changes
Oct 2, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Closes #611