diff options
Diffstat (limited to 'test/Property.hs')
| -rw-r--r-- | test/Property.hs | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/test/Property.hs b/test/Property.hs index e44e59b..e2eff7b 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -45,7 +45,8 @@ 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" (alexScanTokens str) +parserInput' (ModDeclSub v) = isRight + $ parse parseModDecl "input_test.v" (alexScanTokens str) where str = show . GenVerilog $ v parserIdempotent' :: ModDeclSub -> QC.Property @@ -53,9 +54,11 @@ parserIdempotent' (ModDeclSub v) = p sv === (p . p) sv where vshow = show . GenVerilog sv = vshow v - p = vshow . fromRight (error "Failed idempotent test") . parse - parseModDecl - "idempotent_test.v" . alexScanTokens + p = + vshow + . fromRight (error "Failed idempotent test") + . parse parseModDecl "idempotent_test.v" + . alexScanTokens parserInput :: TestTree parserInput = QC.testProperty "parser input" $ parserInput' |