From 3b5b7e33033799ab1eb2289615a2c96b6329cba4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 28 Dec 2018 19:21:18 +0100 Subject: Fix imports and cabal file --- src/Test/VeriFuzz.hs | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) (limited to 'src/Test/VeriFuzz.hs') 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 -- cgit