FFPiH/uebung2017-4
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Patch for failing test

Browse Source
This commit is contained in:
Yannick Gottschalk 2017-05-15 19:05:24 +02:00
parent 7b91feea55
commit ff47728b5b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/Game-Spec.hs
View File

@ -19,7 +19,7 @@ instance Arbitrary World where
mx <- choose (1, dx-1) mx <- choose (1, dx-1)
hy <- choose (1, dy-1) hy <- choose (1, dy-1)
hx <- choose (1, dx-1) `suchThat` (\hx -> mx /= hx || my /= hy) hx <- choose (1, dx-1) `suchThat` (\hx -> mx /= hx || my /= hy)
return $ newWorld (V2 hx hy) (V2 mx my) (dx, dy) return $ newWorldWithBoss (V2 hx hy) (V2 mx my) (dx, dy)
type Step = V2 Integer type Step = V2 Integer
@ -30,7 +30,7 @@ bewegungProp1 :: World -> Step -> Property
bewegungProp1 world d = bewegungProp1 world d =
and ((world^.entities.to findMax._1.to (subtract d) - world^.heroPos)^..each.to (> 0)) && and ((world^.entities.to findMax._1.to (subtract d) - world^.heroPos)^..each.to (> 0)) &&
(world^.entities.at (world^.heroPos + d)^?_Just._Floor)^.to isJust ==> (world^.entities.at (world^.heroPos + d)^?_Just._Floor)^.to isJust ==>
world^.to (performAction (Just $ Move d)).heroPos == (world^.heroPos) world^.to (flip performAction (Move $ d^.to fromVector)).heroPos == (world^.heroPos)
bewegungTest1 = testProperty "Bewegung Test 1" bewegungProp1 -- FIXME: I think I'm broken. What's wrong with me? bewegungTest1 = testProperty "Bewegung Test 1" bewegungProp1 -- FIXME: I think I'm broken. What's wrong with me?