tasty-discover-2.0.2: test/SubMod/PropTest.hs

module SubMod.PropTest where

prop_additionAssociative :: Int -> Int -> Int -> Bool
prop_additionAssociative a b c = (a + b) + c == a + (b + c)