Verified Commit 8b733868 authored by Camil Staps's avatar Camil Staps 🚀

Fix help text for Args

parent dbf2b59f
......@@ -70,7 +70,7 @@ where
[ Shorthand "-O" "--option" $ AddHelpLines
[ "Tests N: the maximum number of tests to run"
, "Fails N: the maximum number of failing test cases to collect"
, "Args N: ???" // TODO
, "Args N: the maximum number of arguments to generate"
, "RandomSeed N: a custom random seed"
, "Skew N: 0 for symmetric test generation; positive for right-skewn generation; negative for left-skewn generation"
, "MaxDepth N: the maximum tree depth in generated test cases"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment