haskell - 使用 Distribution.TestSuite.QuickCheck 进行进度输出

Question

我正在使用 Distribution.TestSuite.QuickCheck 通过 cabal test 运行 QuickCheck 测试。我的测试模块导出单个定义:

module MOS6502.Tests.Main (tests) where

import Distribution.TestSuite.QuickCheck as QC

import MOS6502.Tests
import MOS6502.Tests.Framework

tests :: IO [QC.Test]
tests = return [ testProperty (testLabel test) (runTest test) | test <- allTests ]

每当我有一个失败的测试时，我都会得到我期望的输出，例如

Running 1 test suites...
Test suite tests: RUNNING...
Test case BEQ: Fail "(after 91 tests): Branch correctly taken"
Test case BNE: Pass
Test case BVS: Fail "(after 75 tests): Branch correctly taken"
Test case JMP abs: Fail "(after 1 test): PC"
Test case JMP ind: Fail "(after 1 test): PC"
Test case STA zp: Pass
Test case STA zp,X: Pass
Test case STA abs: Pass
Test case STA abs,X: Pass
Test case STA abs,Y: Pass
Test case STA (zp,X): Pass
Test case STA (zp),Y: Pass
Test suite tests: FAIL
Test suite logged to: dist/test/mos6502-kansas-lava-0.0.0.0-tests.log
0 of 1 test suites (8 of 12 test cases) passed.

但是，在测试运行时，我没有得到任何输出(而且当所有测试都通过时，我最后也只得到最少的输出)。

有没有办法让 cabal test 打印出这些 Test case Foo 消息让我了解进度？

Answer 1

尝试

cabal test --show-details=always

(有关详细信息，请参阅 Cabal User Guide)