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

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

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

Но в папке dist/test/ я вижу журнал испытаний *** 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 -- <== ?

tdd haskell cabal quickcheck property-testing
person chrisheyn    schedule 30.07.2018    source источник

Ответы (1)


arrow_upward
7
arrow_downward

Вам нужно свойство см. здесь.

Пример:

spec :: Spec
spec = do
    describe "myTest" $ do
        it "Something something" $
            property prop_myTest
person Cubic    schedule 30.07.2018