Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/unit-testing/4.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/haskell/8.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Unit testing 框架指定从命令行运行的测试数量_Unit Testing_Haskell_Testing_Quickcheck_Test Framework - Fatal编程技术网

Unit testing 框架指定从命令行运行的测试数量

Unit testing 框架指定从命令行运行的测试数量,unit-testing,haskell,testing,quickcheck,test-framework,Unit Testing,Haskell,Testing,Quickcheck,Test Framework,这意味着可以使用命令行参数运行Test.Framework。有一个函数defaultMain::[Test]->IO(),还有一个函数defaultMainWithOpts::[Test]->RunnerOptions->IO(),它是 defaultMain的一个版本,允许您忽略命令行参数,而使用一组显式的RunnerOptions 我找不到有关如何传递命令行参数的文档,而未识别选项的错误消息只显示“未识别选项”。因此,我的问题是,在运行cabal testdefaultMainWithOpt

这意味着可以使用命令行参数运行
Test.Framework
。有一个函数
defaultMain::[Test]->IO()
,还有一个函数
defaultMainWithOpts::[Test]->RunnerOptions->IO()
,它是

defaultMain
的一个版本,允许您忽略命令行参数,而使用一组显式的
RunnerOptions


我找不到有关如何传递命令行参数的文档,而未识别选项的错误消息只显示“未识别选项”。因此,我的问题是,在运行
cabal test

defaultMainWithOpts
时,如何通过从命令行运行的测试用例数不适用于命令行使用:它忽略并抑制所有命令行选项。对于命令行测试,您应该使用
defaultMain
--help
将告诉您所有可用选项,如:

Usage: cc-test [OPTIONS]
                   --help                                       show this help message
  -j NUMBER        --threads=NUMBER                             number of threads to use to run tests
                   --test-seed=NUMBER|random                    default seed for test random number generator
  -a NUMBER        --maximum-generated-tests=NUMBER             how many automated tests something like QuickCheck should try, by default
                   --maximum-unsuitable-generated-tests=NUMBER  how many unsuitable candidate tests something like QuickCheck should endure before giving up, by default
  -s NUMBER        --maximum-test-size=NUMBER                   to what size something like QuickCheck should test the properties, by default
  -d NUMBER        --maximum-test-depth=NUMBER                  to what depth something like SmallCheck should test the properties, by default
  -o NUMBER        --timeout=NUMBER                             how many seconds a test should be run for before giving up, by default
                   --no-timeout                                 specifies that tests should be run without a timeout, by default
  -l               --list-tests                                 list available tests but don't run any; useful to guide subsequent --select-tests
  -t TEST-PATTERN  --select-tests=TEST-PATTERN                  only tests that match at least one glob pattern given by an instance of this argument will be run
                   --jxml=FILE                                  write a JUnit XML summary of the output to FILE
                   --jxml-nested                                use nested testsuites to represent groups in JUnit XML (not standards compliant)
                   --plain                                      do not use any ANSI terminal features to display the test run
                   --color                                      use ANSI terminal features to display the test run
                   --hide-successes                             hide sucessful tests, and only show failures