From d077ab33940f23873eb34254cc8b168bef4a82c9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Sun, 31 Mar 2019 22:17:54 +0100
Subject: Fix some of the tests

---
 test/Property.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/Property.hs b/test/Property.hs
index 2b523dd..e44e59b 100644
--- a/test/Property.hs
+++ b/test/Property.hs
@@ -11,6 +11,7 @@ import           Test.Tasty.QuickCheck             ((===))
 import qualified Test.Tasty.QuickCheck             as QC
 import           Text.Parsec
 import           VeriFuzz
+import           VeriFuzz.Parser.Lex
 import qualified VeriFuzz.RandomAlt                as V
 
 newtype TestGraph = TestGraph { getGraph :: Gr Gate () }
@@ -44,7 +45,7 @@ simpleAltGraph = QC.testProperty "simple alternative graph generation check"
     where simp = G.isSimple . getAltGraph
 
 parserInput' :: ModDeclSub -> Bool
-parserInput' (ModDeclSub v) = isRight $ parse parseModDecl "input_test.v" str
+parserInput' (ModDeclSub v) = isRight $ parse parseModDecl "input_test.v" (alexScanTokens str)
     where str = show . GenVerilog $ v
 
 parserIdempotent' :: ModDeclSub -> QC.Property
@@ -54,7 +55,7 @@ parserIdempotent' (ModDeclSub v) = p sv === (p . p) sv
     sv    = vshow v
     p     = vshow . fromRight (error "Failed idempotent test") . parse
         parseModDecl
-        "idempotent_test.v"
+        "idempotent_test.v" . alexScanTokens
 
 parserInput :: TestTree
 parserInput = QC.testProperty "parser input" $ parserInput'
-- 
cgit