mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make the positionedCharacter test run more quickly

Browse source 
Dial down the quickcheck size and num tests on this
This commit is contained in:
Griffin Smith 2019-10-12 15:17:22 -04:00
parent 0837df2a72
commit 8d36fb4af2
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
test/Xanthous/GameSpec.hs
View file

@ -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