diff options
Diffstat (limited to 'tests/Test.hs')
| -rw-r--r-- | tests/Test.hs | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/tests/Test.hs b/tests/Test.hs index 0c631b8..0eb9e0a 100644 --- a/tests/Test.hs +++ b/tests/Test.hs @@ -1,19 +1,10 @@ module Main where +import Property import Test.Tasty -import Test.Tasty.HUnit -import Test.Tasty.QuickCheck as QC - -unitTests = testGroup "Unit tests" - [ testCase "List comparison (different length)" $ - [1, 2, 3] `compare` [1,2] @?= GT - - -- the following test does not hold - , testCase "List comparison (same length)" $ - [1, 2, 3] `compare` [1,2,2] @?= GT - ] +import Unit tests :: TestTree -tests = testGroup "Tests" [unitTests] +tests = testGroup "Tests" [unitTests, propertyTests] main = defaultMain tests |