GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-15 02:01:39 +03:00
Code Issues Projects Releases Wiki Activity

Improve line wrapping of help text for :dumptests

Browse Source
This commit is contained in:
David Thrane Christiansen 2019-03-19 13:27:32 -07:00
parent 39ef53653d
commit 508327058b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Cryptol/REPL/Command.hs
View File

@ -218,9 +218,9 @@ commandList =
"Read data from a file as type 'fin n => [n][8]', binding\nthe value to variable 'it'."
, CommandDescr [ ":dumptests" ] ["FILE", "EXPR"] (FileExprArg dumpTestsCmd)
(unlines [ "Dump a tab-separated collection of tests for the given"
, "expression into a file. The first column in each line is the expected"
, "output, and the remainder are the inputs. The number of"
, "tests is determined by the \"tests\" option."
, "expression into a file. The first column in each line is"
, "the expected output, and the remainder are the inputs. The"
, "number of tests is determined by the \"tests\" option."
])
]