Как использовать QuickCheck в тестах Hspec?

Question

Я строю исходную кодовую базу для моего проекта на Haskell с cabal initУ меня есть несколько тестов, написанных с помощью Hspec. На cabal test он компилирует и запускает эти тесты, как ожидалось, и выдает сообщение об ошибке / прохождении.

Теперь я включил тест quickCheck, и даже если этот тест не пройден, вывод терминала не распознает тест quickCheck.

Но в dist/test/ dir я вижу журнал испытаний *** Failed! ...

Есть ли способ "включить" тесты quickCheck в рабочий процесс тестирования. Так что мне не нужно просматривать журнал испытаний после каждого запуска теста.

import Test.Hspec
import Test.QuickCheck

spec :: Spec
spec = do
    describe "myTest" $ do
        it "Something something" $ do
            myTest "" `shouldBe` False
            quickCheckWith stdArgs { maxSuccess = 1000 } prop_myTest -- <== ?

Answer 1

Вы хотите функцию свойства, смотрите здесь.

Пример:

spec :: Spec
spec = do
    describe "myTest" $ do
        it "Something something" $
            property prop_myTest