diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-03-31 22:17:54 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-03-31 22:17:54 +0100 |
| commit | d077ab33940f23873eb34254cc8b168bef4a82c9 (patch) | |
| tree | 3fd2301755808e240430365db6325114351e6066 /test | |
| parent | 1930e7686025601e22de49aa4d4dbeed8311caa0 (diff) | |
| download | verismith-d077ab33940f23873eb34254cc8b168bef4a82c9.tar.gz verismith-d077ab33940f23873eb34254cc8b168bef4a82c9.zip | |
Fix some of the tests
Diffstat (limited to 'test')
| -rw-r--r-- | test/Property.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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' |