suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tidy up "tocktest --help" to match "tock --help".

Browse Source
This commit is contained in:
Adam Sampson 2008-03-13 10:55:49 +00:00
parent 3996a1379b
commit 26c9e5b57f
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
TestMain.hs
View File

@ -121,11 +121,11 @@ main = do (opts, nonOpts, errs) <- getArgs >>* getOpt RequireOrder options
where
err msg = ioError (userError (msg ++ usageInfo header options))
header = "Usage: tocktest [OPTION..]"
options = [Option [] ["qc","quickcheck"]
(ReqArg matchLevel "LEVEL (off, low, medium, high, extensive)") "QuickCheck level"
,Option [] ["plain"] (NoArg (OutputType True)) "Show the test output as plain text"
,Option ['l'] ["list-tests"] (NoArg (ListTests)) "Show the top-level test names"
,Option ['f'] ["filter"] (ReqArg RunJust "PARTOFTESTNAME (See output --list-tests for possible test)") "Run just the tests that have this in their name"
options = [ Option [] ["qc", "quickcheck"]
(ReqArg matchLevel "LEVEL") "QuickCheck level (options: off, low, medium, high, extensive)"
, Option [] ["plain"] (NoArg (OutputType True)) "Show the test output as plain text"
, Option ['l'] ["list-tests"] (NoArg (ListTests)) "Show the top-level test names"
, Option ['f'] ["filter"] (ReqArg RunJust "TESTNAME") "Run just the tests that have this in their name (use -l to list)"
]
findLevel :: [TestOption] -> Either String (Maybe QuickCheckLevel)