test-frameworkドキュメントには、「QuickCheck の実行に失敗したときに使用されるシードのレポートをサポートしているため、必要に応じて失敗を再現できる」と記載されています。ただし、デフォルトの出力にはこれが表示されず、これを有効にするコマンド ライン オプションが見つかりません。
でこれを行う方法はありますか、またはQuickCheck からtest-framework手動で印刷する必要がありますか?usedSeed
質問する
418 次