diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 21:57:59 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 21:57:59 +0000 |
| commit | 8b22145bf32c96067358193388a54621d3826628 (patch) | |
| tree | d1bdae0905e919bab2c5dfe92b6f7dff5f937f60 /tests | |
| parent | 88ffe371e6a2ac5892b5249698f6f8ab1c323ee2 (diff) | |
| download | verismith-8b22145bf32c96067358193388a54621d3826628.tar.gz verismith-8b22145bf32c96067358193388a54621d3826628.zip | |
Restructure and add tests
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/test.hs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tests/test.hs b/tests/test.hs new file mode 100644 index 0000000..3255c72 --- /dev/null +++ b/tests/test.hs @@ -0,0 +1,17 @@ +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] @?= LT + ] + +tests :: TestTree +tests = testGroup "Tests" [unitTests] + +main = defaultMain tests |