27 lines
603 B
Haskell
27 lines
603 B
Haskell
|
module Tests.Example.Project where
|
||
|
|
|
||
|
|
import Prelude
|
||
|
|
|
||
|
|
import Test.Tasty
|
||
|
|
import Test.Tasty.TH
|
||
|
|
import Test.Tasty.Hedgehog
|
||
|
|
|
||
|
|
import Hedgehog ((===))
|
||
|
|
import qualified Hedgehog as H
|
||
|
|
import qualified Hedgehog.Gen as Gen
|
||
|
|
import qualified Hedgehog.Range as Range
|
||
|
|
|
||
|
|
import Example.Project (plus)
|
||
|
|
|
||
|
|
prop_plusIsCommutative :: H.Property
|
||
|
|
prop_plusIsCommutative = H.property $ do
|
||
|
|
a <- H.forAll (Gen.integral (Range.linear minBound maxBound))
|
||
|
|
b <- H.forAll (Gen.integral (Range.linear minBound maxBound))
|
||
|
|
plus a b === plus b a
|
||
|
|
|
||
|
|
tests :: TestTree
|
||
|
|
tests = $(testGroupGenerator)
|
||
|
|
|
||
|
|
main :: IO ()
|
||
|
|
main = defaultMain tests
|