You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
- {-# 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
|