From fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 2 Apr 2019 19:47:32 +0100 Subject: Large refactor with passing tests --- test/Property.hs | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'test') diff --git a/test/Property.hs b/test/Property.hs index be8132b..ba961cf 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -3,16 +3,17 @@ module Property ) where -import Data.Either (fromRight, isRight) -import qualified Data.Graph.Inductive as G -import Hedgehog (Gen, (===)) -import qualified Hedgehog as Hog -import qualified Hedgehog.Gen as Hog +import Data.Either (fromRight, isRight) +import qualified Data.Graph.Inductive as G +import Hedgehog (Gen, (===)) +import qualified Hedgehog as Hog +import qualified Hedgehog.Gen as Hog import Test.Tasty import Test.Tasty.Hedgehog import Text.Parsec import VeriFuzz -import VeriFuzz.Parser.Lex +import VeriFuzz.Verilog.Lex +import VeriFuzz.Verilog.Parser randomMod' :: Gen ModDecl randomMod' = Hog.resize 20 (randomMod 3 10) -- cgit