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.hs13
1 files changed, 5 insertions, 8 deletions
diff --git a/src/Test/VeriFuzz.hs b/src/Test/VeriFuzz.hs
index 1a0b81b..8a84fd7 100644
--- a/src/Test/VeriFuzz.hs
+++ b/src/Test/VeriFuzz.hs
@@ -12,25 +12,22 @@ module Test.VeriFuzz
(
-- * Definitions
module Test.VeriFuzz.Circuit
- -- * Code Generation
- , module Test.VeriFuzz.CodeGen
-- * Verilog AST Data Types
- , module Test.VeriFuzz.VerilogAST
- -- * AST Mutation
- , module Test.VeriFuzz.Mutate
+ , module Test.VeriFuzz.Verilog
-- * Helpers
, module Test.VeriFuzz.Helpers
-- * Graphs
, module Test.VeriFuzz.Graph.ASTGen
, module Test.VeriFuzz.Graph.CodeGen
, module Test.VeriFuzz.Graph.Random
+ -- * Simulator
+ , module Test.VeriFuzz.Simulator
) 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.Helpers
-import Test.VeriFuzz.Mutate
-import Test.VeriFuzz.VerilogAST
+import Test.VeriFuzz.Simulator
+import Test.VeriFuzz.Verilog