From 1054b81ed2d68c124f40e9c0df754f9db1c5cb27 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 15 Dec 2018 20:18:59 +0000 Subject: Add new imports --- src/Test/VeriFuzz.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/Test/VeriFuzz.hs') 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 -- cgit