aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2018-12-30 12:03:11 +0100
committerYann Herklotz <ymherklotz@gmail.com>2018-12-30 12:03:11 +0100
commitb25eee73ce7cf8270ccf633443cee88040eaca67 (patch)
tree8afea5d9f94147add720f650a878a34eb73750a5 /src/Test/VeriFuzz
parent40b09529403cf7b7190a45596d36c2f200504988 (diff)
downloadverismith-b25eee73ce7cf8270ccf633443cee88040eaca67.tar.gz
verismith-b25eee73ce7cf8270ccf633443cee88040eaca67.zip
Move helper functions
Diffstat (limited to 'src/Test/VeriFuzz')
-rw-r--r--src/Test/VeriFuzz/Verilog.hs2
-rw-r--r--src/Test/VeriFuzz/Verilog/Helpers.hs (renamed from src/Test/VeriFuzz/Helpers.hs)7
2 files changed, 7 insertions, 2 deletions
diff --git a/src/Test/VeriFuzz/Verilog.hs b/src/Test/VeriFuzz/Verilog.hs
index 3fa4747..072dc75 100644
--- a/src/Test/VeriFuzz/Verilog.hs
+++ b/src/Test/VeriFuzz/Verilog.hs
@@ -17,8 +17,10 @@ module Test.VeriFuzz.Verilog
, module Test.VeriFuzz.Verilog.CodeGen
-- * Verilog mutations
, module Test.VeriFuzz.Verilog.Mutate
+ , module Test.VeriFuzz.Verilog.Helpers
) where
import Test.VeriFuzz.Verilog.AST
import Test.VeriFuzz.Verilog.CodeGen
+import Test.VeriFuzz.Verilog.Helpers
import Test.VeriFuzz.Verilog.Mutate
diff --git a/src/Test/VeriFuzz/Helpers.hs b/src/Test/VeriFuzz/Verilog/Helpers.hs
index 6643683..d4a7c9c 100644
--- a/src/Test/VeriFuzz/Helpers.hs
+++ b/src/Test/VeriFuzz/Verilog/Helpers.hs
@@ -1,5 +1,5 @@
{-|
-Module : Test.VeriFuzz.Default
+Module : Test.VeriFuzz.VeriFuzz.Helpers
Description : Defaults and common functions.
Copyright : (c) 2018-2019, Yann Herklotz Grave
License : BSD-3
@@ -10,7 +10,7 @@ Portability : POSIX
Defaults and common functions.
-}
-module Test.VeriFuzz.Helpers where
+module Test.VeriFuzz.VeriFuzz.Helpers where
import Control.Lens
import Data.Text (Text)
@@ -71,3 +71,6 @@ testBench =
addTestBench :: VerilogSrc -> VerilogSrc
addTestBench = addDescription $ Description testBench
+
+defaultPort :: Identifier -> Port
+defaultPort = Port (PortNet Wire) 1