Я использую Distribution.TestSuite.QuickCheck
для запуска тестов QuickCheck через cabal test
. Мой тестовый модуль экспортирует одно определение:
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
сообщения, чтобы дать мне представление о ходе работы?