diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-05-11 22:28:35 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-11 22:28:35 +0100 |
| commit | d1b04fc068b1484f8bd0020598d3a2f023772f46 (patch) | |
| tree | a8f67d67bc78f520fb599786bc130af8c52674ad /test/Parser.hs | |
| parent | 805f67c07cc15d784078b00a84f4055f84016cec (diff) | |
| download | verismith-d1b04fc068b1484f8bd0020598d3a2f023772f46.tar.gz verismith-d1b04fc068b1484f8bd0020598d3a2f023772f46.zip | |
Tests passing for new reduction
Diffstat (limited to 'test/Parser.hs')
| -rw-r--r-- | test/Parser.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Parser.hs b/test/Parser.hs index 5ae9d4c..0ce5817 100644 --- a/test/Parser.hs +++ b/test/Parser.hs @@ -58,7 +58,7 @@ parserIdempotentMod = Hog.property $ do parserInput :: Property parserInput = Hog.property $ do - v <- Hog.forAll (GenVerilog <$> procedural "top" smallConfig) + v <- Hog.forAll (GenVerilog <$> (procedural "top" smallConfig :: Gen (Verilog ()))) Hog.assert . isRight $ parse parseModDecl "input_test" (alexScanTokens . uncomment "test" $ show v) |