aboutsummaryrefslogtreecommitdiffstats
path: root/verifuzz.cabal
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 /verifuzz.cabal
parent40b09529403cf7b7190a45596d36c2f200504988 (diff)
downloadverismith-b25eee73ce7cf8270ccf633443cee88040eaca67.tar.gz
verismith-b25eee73ce7cf8270ccf633443cee88040eaca67.zip
Move helper functions
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r--verifuzz.cabal2
1 files changed, 1 insertions, 1 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal
index 212999c..ad8a39d 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -24,7 +24,6 @@ library
, Test.VeriFuzz.Graph.CodeGen
, Test.VeriFuzz.Graph.Random
, Test.VeriFuzz.Graph.RandomAlt
- , Test.VeriFuzz.Helpers
, Test.VeriFuzz.Simulator
, Test.VeriFuzz.Simulator.General
, Test.VeriFuzz.Simulator.Icarus
@@ -33,6 +32,7 @@ library
, Test.VeriFuzz.Verilog
, Test.VeriFuzz.Verilog.AST
, Test.VeriFuzz.Verilog.CodeGen
+ , Test.VeriFuzz.Verilog.Helpers
, Test.VeriFuzz.Verilog.Mutate
build-depends: base >= 4.7 && < 5
, QuickCheck >=2.3 && <2.10