From c4c80116eca7d498176b3f6fb8278f5bf8a17ea3 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 30 Nov 2018 23:00:52 +0000 Subject: Add first property test --- tests/Unit.hs | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tests/Unit.hs (limited to 'tests/Unit.hs') 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 + ] -- cgit