aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-04-13 12:21:05 +0100
committerYann Herklotz <git@ymhg.org>2019-04-13 12:21:05 +0100
commitb281cee59daa51ba4607229092274dfa2f801806 (patch)
tree5b8b232f593e4c2d14aaa93ea5856231f12f8623 /test
parent79a6b80ada570123e85590d484a72c810d4d8d0c (diff)
downloadverismith-b281cee59daa51ba4607229092274dfa2f801806.tar.gz
verismith-b281cee59daa51ba4607229092274dfa2f801806.zip
Fix tests passing
Diffstat (limited to 'test')
-rw-r--r--test/Property.hs10
1 files changed, 4 insertions, 6 deletions
diff --git a/test/Property.hs b/test/Property.hs
index ba961cf..431a155 100644
--- a/test/Property.hs
+++ b/test/Property.hs
@@ -3,7 +3,7 @@ module Property
)
where
-import Data.Either (fromRight, isRight)
+import Data.Either (either, isRight)
import qualified Data.Graph.Inductive as G
import Hedgehog (Gen, (===))
import qualified Hedgehog as Hog
@@ -42,11 +42,9 @@ parserIdempotent' = Hog.property $ do
p sv === (p . p) sv
where
vshow = show . GenVerilog
- p =
- vshow
- . fromRight (error "Failed idempotent test")
- . parse parseModDecl "idempotent_test.v"
- . alexScanTokens
+ p sv = either (\x -> show x <> "\n" <> sv) vshow
+ . parse parseModDecl "idempotent_test.v"
+ $ alexScanTokens sv
parserInput :: TestTree
parserInput = testProperty "parser input" parserInput'