diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-17 11:02:16 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-17 11:02:16 +0100 |
| commit | 547dfe800c418165a0eb3f4667e9ea87831b375a (patch) | |
| tree | 0c862ad802c12d6dc6f229838be8f1c1f3636bbc /verifuzz.cabal | |
| parent | 8109d52d387bd90052702a5a168ca9cf582766a0 (diff) | |
| download | verismith-547dfe800c418165a0eb3f4667e9ea87831b375a.tar.gz verismith-547dfe800c418165a0eb3f4667e9ea87831b375a.zip | |
Fix tests and remove Parser tests for now
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index c8fe982..dfd5c12 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -25,7 +25,7 @@ custom-setup library hs-source-dirs: src default-language: Haskell2010 - ghc-options: -Wall -Werror + ghc-options: -Wall build-tools: alex >=3 && <4 exposed-modules: VeriFuzz , VeriFuzz.Circuit @@ -36,11 +36,12 @@ library , VeriFuzz.Config , VeriFuzz.Fuzz , VeriFuzz.Internal + , VeriFuzz.Reduce + , VeriFuzz.Result , VeriFuzz.Sim , VeriFuzz.Sim.Icarus , VeriFuzz.Sim.Internal , VeriFuzz.Sim.Quartus - , VeriFuzz.Sim.Reduce , VeriFuzz.Sim.Template , VeriFuzz.Sim.Vivado , VeriFuzz.Sim.XST @@ -99,7 +100,7 @@ test-suite verifuzz-test type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Test.hs - ghc-options: -Wall -Werror + ghc-options: -Wall other-modules: Unit , Property build-depends: base >=4 && <5 @@ -109,6 +110,7 @@ test-suite verifuzz-test , tasty-hunit >=0.10 && <0.11 , tasty-hedgehog >=0.2 && <0.3 , hedgehog >=0.6 && <0.7 + , hedgehog-fn >=0.6 && <0.7 , lens >=4.17 && <4.18 , text >=1.2 && <1.3 , parsec >= 3.1 && < 3.2 |