diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-02 19:47:32 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-02 19:47:32 +0100 |
commit | fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0 (patch) | |
tree | 673439d49fa095bf3ae9b7bbbca5f30d7ff20838 /test | |
parent | c0c799ab3f79c370e4c33b8f824489ce8b1c96ec (diff) | |
download | verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.tar.gz verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.zip |
Large refactor with passing tests
Diffstat (limited to 'test')
-rw-r--r-- | test/Property.hs | 13 |
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) |