TESTS: initial implementation of a few test cases

This commit is contained in:
2014-12-17 05:11:18 +01:00
parent 2ccb52eb62
commit f68d4c2ba7
3 changed files with 158 additions and 0 deletions

29
TestMain.hs Normal file
View File

@@ -0,0 +1,29 @@
{-# OPTIONS_HADDOCK ignore-exports #-}
import Test.QuickCheck
import Test.Vector
deepCheck :: Testable prop => prop -> IO ()
deepCheck = quickCheckWith (stdArgs { maxSuccess = 1000})
main :: IO ()
main = do
putStrLn "testing inRange:"
deepCheck inRangeProp1
deepCheck inRangeProp2
deepCheck inRangeProp3
deepCheck inRangeProp4
deepCheck inRangeProp5
putStrLn "testing onPT:"
deepCheck onPTProp1
deepCheck onPTProp2
putStrLn "testing getAngle:"
deepCheck getAngleProp1
deepCheck getAngleProp2
deepCheck getAngleProp3
deepCheck getAngleProp4
deepCheck getAngleProp5
deepCheck getAngleProp6