1

次のコマンドでプロジェクトをビルドおよびテストするために cabal を使用しています。

cabal configure --enable-tests
cabal build
cabal test

フレームワークとして、testing-framework ( https://batterseapower.github.io/test-framework/ ) を使用します。すべてが機能しますが、特定のプロパティに合わせて生成されたデータをフィルタリングする必要があるため、QuickCheck テストの数はデフォルトで 50 に設定されています。

次のようなものを渡す可能性はありますか

--maximum-generated-tests=5000

cabalを介してテスト実行可能ファイルに？私は次のようなことを試しました

 cabal test --test-options='maximum-generated-tests=5000'

しかし、これまでのところ運がありません。これを達成する可能性はありますか？

よろしくお願いします！

ジュール

4

1 に答える 1

1

あなたはダッシュを逃しました：

cabal test --test-options=--maximum-generated-tests=5000

また、生成されたテストでプロパティを満たすものが少なすぎる場合は、SmallCheck の方がうまくいく可能性があります。これはランダムではないため、指定された検索空間で条件を満たすすべての入力を見つけます。(開示: 私は SmallCheck のメンテナーです。)

于 2013-12-12T21:45:36.700 に答える