aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-04-02 19:47:32 +0100
committerYann Herklotz <git@ymhg.org>2019-04-02 19:47:32 +0100
commitfd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0 (patch)
tree673439d49fa095bf3ae9b7bbbca5f30d7ff20838 /test
parentc0c799ab3f79c370e4c33b8f824489ce8b1c96ec (diff)
downloadverismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.tar.gz
verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.zip
Large refactor with passing tests
Diffstat (limited to 'test')
-rw-r--r--test/Property.hs13
1 files changed, 7 insertions, 6 deletions
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)