diff options
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index e4e3c06..28838e0 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -20,19 +20,27 @@ library , Test.VeriFuzz.Internal.Gen exposed-modules: Test.VeriFuzz , Test.VeriFuzz.Circuit - , Test.VeriFuzz.CodeGen - , Test.VeriFuzz.Mutate - , Test.VeriFuzz.Helpers , Test.VeriFuzz.Graph.ASTGen , Test.VeriFuzz.Graph.CodeGen , Test.VeriFuzz.Graph.Random - , Test.VeriFuzz.VerilogAST + , Test.VeriFuzz.Helpers + , Test.VeriFuzz.Simulator + , Test.VeriFuzz.Simulator.General + , Test.VeriFuzz.Simulator.Icarus + , Test.VeriFuzz.Simulator.Xst + , Test.VeriFuzz.Simulator.Yosys + , Test.VeriFuzz.Verilog + , Test.VeriFuzz.Verilog.AST + , Test.VeriFuzz.Verilog.CodeGen + , Test.VeriFuzz.Verilog.Mutate build-depends: base >= 4.7 && < 5 , QuickCheck , fgl - , text - , random , lens + , random + , shakespeare + , shelly + , text extensions: OverloadedStrings executable yosys |