aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Test/VeriFuzz.hs')
-rw-r--r--src/Test/VeriFuzz.hs8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/Test/VeriFuzz.hs b/src/Test/VeriFuzz.hs
index f43b1bf..88c7854 100644
--- a/src/Test/VeriFuzz.hs
+++ b/src/Test/VeriFuzz.hs
@@ -1,18 +1,20 @@
module Test.VeriFuzz
(
-- * Definitions
- module Test.VeriFuzz.Types
+ module Test.VeriFuzz.Circuit
-- * Code Generation
, module Test.VeriFuzz.CodeGen
-- * Verilog AST Data Types
, module Test.VeriFuzz.VerilogAST
-- * Graphs
- , module Test.VeriFuzz.Graph.Random
+ , module Test.VeriFuzz.Graph.ASTGen
, module Test.VeriFuzz.Graph.CodeGen
+ , module Test.VeriFuzz.Graph.Random
) where
+import Test.VeriFuzz.Circuit
import Test.VeriFuzz.CodeGen
+import Test.VeriFuzz.Graph.ASTGen
import Test.VeriFuzz.Graph.CodeGen
import Test.VeriFuzz.Graph.Random
-import Test.VeriFuzz.Types
import Test.VeriFuzz.VerilogAST