hasufell
/
cga
1
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

TESTS: make inRangeProp5 more random

This commit is contained in:
hasufell 2014-12-17 05:15:03 +01:00
parent f68d4c2ba7
commit ce418f33f2
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Test/Vector.hs
View File

@ -38,9 +38,9 @@ inRangeProp4 sq@((_, y1), (x2, _)) =
inRange sq (p2 (x2, y1))
inRangeProp5 :: Square -> Bool
inRangeProp5 sq@((x1, y1), (x2, y2)) =
inRange sq (p2 (x1 + ((x2 - x1) / 2), y1 + ((y2 - y1) / 2)))
inRangeProp5 :: Square -> Positive Double -> Positive Double -> Bool
inRangeProp5 sq@((x1, y1), (x2, y2)) (Positive a) (Positive b) =
inRange sq (p2 (x1 + ((x2 - x1) / (a + 1)), y1 + ((y2 - y1) / (b + 1))))
onPTProp1 :: PT -> Bool