diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 23:00:52 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 23:00:52 +0000 |
| commit | c4c80116eca7d498176b3f6fb8278f5bf8a17ea3 (patch) | |
| tree | 33c5aa9180bee08c1edb6df0ea8a182673f2f6ea /tests/Test.hs | |
| parent | 1f6343a964216ac67255df1c00412c672cda0784 (diff) | |
| download | verismith-c4c80116eca7d498176b3f6fb8278f5bf8a17ea3.tar.gz verismith-c4c80116eca7d498176b3f6fb8278f5bf8a17ea3.zip | |
Add first property test
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 |