aboutsummaryrefslogtreecommitdiffstats
path: root/test/Parser.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-08-29 15:44:33 +1000
committerYann Herklotz <git@yannherklotz.com>2019-08-29 15:44:33 +1000
commitcccb665ebac6e916c4f961eacbe11a9af7d7ceb3 (patch)
treef00baaec9dcb747c27375af366ad9aec9d2dbe16 /test/Parser.hs
parent74a14ef30359e653259bf7139fe806548edefd14 (diff)
downloadverismith-cccb665ebac6e916c4f961eacbe11a9af7d7ceb3.tar.gz
verismith-cccb665ebac6e916c4f961eacbe11a9af7d7ceb3.zip
Change name from VeriFuzz to VeriSmith
Diffstat (limited to 'test/Parser.hs')
-rw-r--r--test/Parser.hs16
1 files changed, 8 insertions, 8 deletions
diff --git a/test/Parser.hs b/test/Parser.hs
index d300d8a..b372bbe 100644
--- a/test/Parser.hs
+++ b/test/Parser.hs
@@ -17,18 +17,18 @@ module Parser
where
import Control.Lens
-import Data.Either (either, isRight)
-import Hedgehog (Gen, Property, (===))
-import qualified Hedgehog as Hog
-import qualified Hedgehog.Gen as Hog
+import Data.Either (either, isRight)
+import Hedgehog (Gen, Property, (===))
+import qualified Hedgehog as Hog
+import qualified Hedgehog.Gen as Hog
import Test.Tasty
import Test.Tasty.Hedgehog
import Test.Tasty.HUnit
import Text.Parsec
-import VeriFuzz
-import VeriFuzz.Internal
-import VeriFuzz.Verilog.Lex
-import VeriFuzz.Verilog.Parser
+import VeriSmith
+import VeriSmith.Internal
+import VeriSmith.Verilog.Lex
+import VeriSmith.Verilog.Parser
smallConfig :: Config
smallConfig = defaultConfig & configProperty . propSize .~ 5