diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-05-28 09:17:17 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-05-28 12:24:26 +0200 |
commit | f05ef81b63e4ee6403433919ce48f223cf0b1e45 (patch) | |
tree | c1163b90d63f1978fec946d83c5362150307f6cf /packages/tests/src/Numeric/LinearAlgebra | |
parent | c77c83f1e442e5fff408d883b7aac5043ba512a9 (diff) |
test int funs
Diffstat (limited to 'packages/tests/src/Numeric/LinearAlgebra')
-rw-r--r-- | packages/tests/src/Numeric/LinearAlgebra/Tests.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/packages/tests/src/Numeric/LinearAlgebra/Tests.hs b/packages/tests/src/Numeric/LinearAlgebra/Tests.hs index 71c7c16..b138c2b 100644 --- a/packages/tests/src/Numeric/LinearAlgebra/Tests.hs +++ b/packages/tests/src/Numeric/LinearAlgebra/Tests.hs | |||
@@ -379,6 +379,10 @@ staticTest = utest "static" (fst $ checkT (undefined :: L 3 5)) | |||
379 | 379 | ||
380 | -------------------------------------------------------------------------------- | 380 | -------------------------------------------------------------------------------- |
381 | 381 | ||
382 | intTest = utest "int ops" (fst $ checkT (undefined :: Matrix I)) | ||
383 | |||
384 | -------------------------------------------------------------------------------- | ||
385 | |||
382 | indexProp g f x = a1 == g a2 && a2 == a3 && b1 == g b2 && b2 == b3 | 386 | indexProp g f x = a1 == g a2 && a2 == a3 && b1 == g b2 && b2 == b3 |
383 | where | 387 | where |
384 | l = map g (toList (f x)) | 388 | l = map g (toList (f x)) |
@@ -567,6 +571,7 @@ runTests n = do | |||
567 | , convolutionTest | 571 | , convolutionTest |
568 | , sparseTest | 572 | , sparseTest |
569 | , staticTest | 573 | , staticTest |
574 | , intTest | ||
570 | ] | 575 | ] |
571 | when (errors c + failures c > 0) exitFailure | 576 | when (errors c + failures c > 0) exitFailure |
572 | return () | 577 | return () |