diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:18:59 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:18:59 +0000 |
commit | 1054b81ed2d68c124f40e9c0df754f9db1c5cb27 (patch) | |
tree | 0321cadd74759a00941017eb9c89322553f04b7c | |
parent | ed5c9e88d6bf6d3188789d21e2902f7bd7021df6 (diff) | |
download | verismith-1054b81ed2d68c124f40e9c0df754f9db1c5cb27.tar.gz verismith-1054b81ed2d68c124f40e9c0df754f9db1c5cb27.zip |
Add new imports
-rw-r--r-- | src/Test/VeriFuzz.hs | 8 |
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 |