diff options
Diffstat (limited to 'src/Test/VeriFuzz.hs')
-rw-r--r-- | src/Test/VeriFuzz.hs | 13 |
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 |