當我使用 運行測驗套件cabal test時，我收到以下訊息：
Running 1 test suites...
Test suite tests: RUNNING...
Test suite tests: PASS
Test suite logged to: my-lib-tests.log
但是當我查看日志檔案時，內容是：
Test suite tests: RUNNING...
*** Failed! Falsified (after 1 test):
[]
Test suite tests: PASS
Test suite logged to: my-lib-tests.log
當測驗明顯失敗時，為什么我收到一條通過訊息？
uj5u.com熱心網友回復：
cabal test在失敗的測驗套件將以非零錯誤代碼退出的假設下作業。
quickCheck列印一個反例但正常回傳。
要在找到反例時使測驗可執行檔案失敗，您可以使用quickCheckResultandisSuccess包裝 QuickCheck 測驗。
有一些測驗框架可以為您執行此操作，其中包含許多有用的功能（例如用于選擇要運行的測驗的命令列引數），tasty例如tasty-quickcheck.
轉載請註明出處，本文鏈接：https://www.uj5u.com/shujuku/487881.html