From 8d36fb4af2f938d96c8d6c22ccc575d0a98d0d38 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Sat, 12 Oct 2019 15:17:22 -0400 Subject: [PATCH] Make the positionedCharacter test run more quickly Dial down the quickcheck size and num tests on this --- test/Xanthous/GameSpec.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/test/Xanthous/GameSpec.hs b/test/Xanthous/GameSpec.hs index af98c7f6c..9f30faca0 100644 --- a/test/Xanthous/GameSpec.hs +++ b/test/Xanthous/GameSpec.hs @@ -11,7 +11,10 @@ main :: IO () main = defaultMain test test :: TestTree -test = testGroup "Xanthous.Game" +test + = localOption (QuickCheckTests 10) + . localOption (QuickCheckMaxSize 10) + $ testGroup "Xanthous.Game" [ testGroup "positionedCharacter" [ testProperty "lens laws" $ isLens positionedCharacter , testCase "updates the position of the character" $ do @@ -30,8 +33,7 @@ test = testGroup "Xanthous.Game" , testGroup "character" [ testProperty "lens laws" $ isLens character ] - , localOption (QuickCheckTests 10) - $ testGroup "MessageHistory" + , testGroup "MessageHistory" [ testGroup "MonoComonad laws" [ testProperty "oextend oextract ≡ id" $ \(mh :: MessageHistory) -> oextend oextract mh === mh