From c4c80116eca7d498176b3f6fb8278f5bf8a17ea3 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Fri, 30 Nov 2018 23:00:52 +0000
Subject: Add first property test

---
 tests/Test.hs | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

(limited to 'tests/Test.hs')

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
-- 
cgit