From 06c61e705d952679a6200e7d18d2463723fe5878 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Thu, 9 May 2019 23:18:20 +0100
Subject: Add parser and reducer tests

---
 test/Reduce.hs | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 test/Reduce.hs

(limited to 'test/Reduce.hs')

diff --git a/test/Reduce.hs b/test/Reduce.hs
new file mode 100644
index 0000000..4edfdc0
--- /dev/null
+++ b/test/Reduce.hs
@@ -0,0 +1,50 @@
+{-|
+Module      : Reduce
+Description : Test reduction.
+Copyright   : (c) 2019, Yann Herklotz Grave
+License     : GPL-3
+Maintainer  : ymherklotz [at] gmail [dot] com
+Stability   : experimental
+Portability : POSIX
+
+Test reduction.
+-}
+
+{-# LANGUAGE QuasiQuotes #-}
+
+module Reduce
+    (reducerTests)
+where
+
+--import           Data.Either           (fromRight)
+--import           Data.Text             (unpack)
+import           Test.Tasty
+---import           Text.Shakespeare.Text (st)
+--import           VeriFuzz
+
+reducerTests :: TestTree
+reducerTests = testGroup "Reducer tests"
+    [ moduleReducer ]
+
+moduleReducer :: TestTree
+moduleReducer = testGroup "Module reducer"
+    [ ]
+
+--reduceOneModule :: TestTree
+--reduceOneModule = undefined
+--
+---- brittany-disable-next-binding
+--moduleIn :: SourceInfo
+--moduleIn = SourceInfo "top" . fromRight (Verilog []) . parseVerilog "" $ unpack [st|
+--module m(x, y);
+--input x;
+--output y;
+--endmodule
+--
+--module top(x, y);
+--input x;
+--output y;
+--m m1(x, y)
+--endmodule
+-- |]
+--
-- 
cgit