diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-28 19:21:18 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-28 19:21:18 +0100 |
commit | 3b5b7e33033799ab1eb2289615a2c96b6329cba4 (patch) | |
tree | 08d43b024daf99cfc8ec8f82bc223a9a04f83681 /src/Test/VeriFuzz.hs | |
parent | 5243210a4c16a7349b59a964072c4effb3aea30a (diff) | |
download | verismith-3b5b7e33033799ab1eb2289615a2c96b6329cba4.tar.gz verismith-3b5b7e33033799ab1eb2289615a2c96b6329cba4.zip |
Fix imports and cabal file
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 |