2

このドキュメントTest.Frameworkは、 がコマンド ライン引数で実行できることを意味します。機能defaultMain :: [Test] -> IO ()がありますが、機能もありdefaultMainWithOpts :: [Test] -> RunnerOptions -> IO ()ます

のバージョンではdefaultMain、コマンド ライン引数を無視して、明示的なRunnerOptions.

コマンドライン引数を渡す方法に関するドキュメントが見つかりません。認識されないオプションのエラー メッセージには、「認識されないオプション」としか表示されません。だから私の質問は、実行時にコマンドラインから実行するテストケースの数を渡す方法ですcabal test

4

1 に答える 1

2

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
于 2016-03-24T10:44:06.943 に答える