From dfcce130cf054b39017d2361f89836e62860c0c7 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Sat, 11 May 2019 21:52:46 +0100
Subject: Add reduction unit tests

---
 test/Unit.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test')

diff --git a/test/Unit.hs b/test/Unit.hs
index a45f120..cfac8f3 100644
--- a/test/Unit.hs
+++ b/test/Unit.hs
@@ -5,6 +5,7 @@ where
 
 import           Control.Lens
 import           Parser           (parseUnitTests)
+import           Reduce           (reduceUnitTests)
 import           Test.Tasty
 import           Test.Tasty.HUnit
 import           VeriFuzz
@@ -17,6 +18,7 @@ unitTests = testGroup
           transformExpectedResult
           (transform trans transformTestData)
     , parseUnitTests
+    , reduceUnitTests
     ]
 
 transformTestData :: Expr
-- 
cgit