diff options
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index a5d48b6..3f2e933 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -20,21 +20,20 @@ library , Test.VeriFuzz.Types , Test.VeriFuzz.CodeGen , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.VerilogAST build-depends: base >= 4.7 && < 5 , QuickCheck , fgl , text , mwc-random , random + , lens executable verifuzz hs-source-dirs: src main-is: Main.hs default-language: Haskell2010 other-modules: Test.VeriFuzz - , Test.VeriFuzz.Types - , Test.VeriFuzz.CodeGen - , Test.VeriFuzz.Graph.Random build-depends: base >= 4.7 && < 5 , QuickCheck , graphviz |