diff options
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index ab8e232..fcd5015 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -18,11 +18,12 @@ library default-language: Haskell2010 other-modules: Test.VeriFuzz.Internal.Shared exposed-modules: Test.VeriFuzz - , Test.VeriFuzz.Types + , Test.VeriFuzz.Circuit , Test.VeriFuzz.CodeGen - , Test.VeriFuzz.VerilogAST - , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.Graph.ASTGen , Test.VeriFuzz.Graph.CodeGen + , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.VerilogAST build-depends: base >= 4.7 && < 5 , QuickCheck , fgl |