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/Unit.hs | |
| parent | 1f6343a964216ac67255df1c00412c672cda0784 (diff) | |
| download | verismith-c4c80116eca7d498176b3f6fb8278f5bf8a17ea3.tar.gz verismith-c4c80116eca7d498176b3f6fb8278f5bf8a17ea3.zip | |
Add first property test
Diffstat (limited to 'tests/Unit.hs')
| -rw-r--r-- | tests/Unit.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/Unit.hs b/tests/Unit.hs new file mode 100644 index 0000000..a04098b --- /dev/null +++ b/tests/Unit.hs @@ -0,0 +1,13 @@ +module Unit (unitTests) where + +import Test.Tasty +import Test.Tasty.HUnit + +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 + ] |