Ежик не уважает с тестом - PullRequest
Новая
       38

Ежик не уважает с тестом

0 голосов
/ 29 мая 2018

Я использую Hedgehog со вкусным обнаружением и написал простой класс, который реализует квадратные 2D координаты / векторы.Затем я написал следующий тест.Единственная проблема в том, что кажется, что он запускает только один тест, который выполняется очень быстро, и это заставляет меня поверить, что здесь есть проблема.

Как мне заставить его выполнить тест 10000 раз? 

module Spec where

import Test.Tasty
import Hedgehog             
import Hedgehog.Checkers
import qualified Hedgehog.Gen          as Gen
import qualified Hedgehog.Range        as Range
import Lib

make2D :: a -> a -> Point2D a
make2D x y = Point2D { _x = x, _y = y }

point2DGen :: (Gen a) -> Gen (Point2D a)
point2DGen g = make2D <$> g <*> g

small2DGen :: Gen (Point2D Int)
small2DGen = point2DGen . Gen.integral $ Range.linearFrom (0 :: Int) (0-10) 10

hprop_SquareMonoid :: Property
hprop_SquareMonoid = withTests 1000000000 . property . monoid $ Square <$> small2DGen
...