58 lignes
1.3 KiB
Haskell
58 lignes
1.3 KiB
Haskell
{-# OPTIONS_HADDOCK ignore-exports #-}
|
|
|
|
|
|
import Test.QuickCheck
|
|
import Test.MyPrelude
|
|
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
|
|
deepCheck inRangeProp6
|
|
putStrLn "testing onPT:"
|
|
deepCheck onPTProp1
|
|
deepCheck onPTProp2
|
|
putStrLn "testing getAngle:"
|
|
deepCheck getAngleProp1
|
|
deepCheck getAngleProp2
|
|
deepCheck getAngleProp3
|
|
deepCheck getAngleProp4
|
|
deepCheck getAngleProp5
|
|
deepCheck getAngleProp6
|
|
deepCheck getAngleProp7
|
|
putStrLn "testing scalarProd:"
|
|
deepCheck scalarProdProp1
|
|
deepCheck scalarProdProp2
|
|
deepCheck scalarProdProp3
|
|
deepCheck scalarProdProp4
|
|
deepCheck scalarProdProp5
|
|
putStrLn "testing dimToSquare:"
|
|
deepCheck dimToSquareProp1
|
|
putStrLn "testing vecLength:"
|
|
deepCheck vecLengthProp1
|
|
putStrLn "testing pt2Vec:"
|
|
deepCheck pt2VecProp1
|
|
deepCheck pt2VecProp2
|
|
putStrLn "testing vec2Pt:"
|
|
deepCheck vec2PtProp1
|
|
deepCheck vec2PtProp2
|
|
putStrLn "testing vp2:"
|
|
deepCheck vp2Prop1
|
|
deepCheck vp2Prop2
|
|
putStrLn "testing det:"
|
|
deepCheck detProp1
|
|
putStrLn "testing splitBy"
|
|
deepCheck splitByProp1
|
|
deepCheck splitByProp2
|
|
deepCheck splitByProp3
|