diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-02 12:58:36 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-02 12:58:36 +0100 |
| commit | 0a091d39fefd199fb3042677d60895113781dc31 (patch) | |
| tree | 53231f1e86fb68adaf4e7b2e6a5dff78829c6b5b /verifuzz.cabal | |
| parent | cf95e95869fb3ecf716ba16f58eeacd7723bba09 (diff) | |
| download | verismith-0a091d39fefd199fb3042677d60895113781dc31.tar.gz verismith-0a091d39fefd199fb3042677d60895113781dc31.zip | |
Remove QuickCheck and use Hedgehog instead
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 21 |
1 files changed, 7 insertions, 14 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index ba5bb45..2e9097e 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -48,12 +48,11 @@ library , VeriFuzz.Parser.Token , VeriFuzz.Parser.Lex , VeriFuzz.Random - , VeriFuzz.RandomAlt , VeriFuzz.Reduce , VeriFuzz.XST , VeriFuzz.Yosys build-depends: base >=4.7 && <5 - , QuickCheck >=2.3 && <2.10 + , hedgehog >= 0.6 && <0.7 , fgl >=5.7 && <5.8 , fgl-arbitrary >=0.2 && <0.3 , fgl-visualize >=0.1 && <0.2 @@ -80,17 +79,10 @@ executable verifuzz default-language: Haskell2010 ghc-options: -threaded -Wall -Werror build-depends: base >= 4.7 && < 5 + , shelly >=1.8.0 && <1.9 , verifuzz >= 0.1 && <0.2 - , fgl >=5.7 && <5.8 - , fgl-arbitrary >=0.2 && <0.3 - , fgl-visualize >=0.1 && <0.2 - , QuickCheck >=2.3 && <2.10 , text >=1.2 && <1.3 , bytestring >=0.10 && <0.11 - , shelly >=1.8.0 && <1.9 - , DRBG >=0.5 && <0.6 - , lens >=4.17 && <4.18 - , binary >= 0.8.6 && <0.9 , optparse-applicative >=0.14 && <0.15 default-extensions: OverloadedStrings @@ -102,12 +94,13 @@ test-suite verifuzz-test ghc-options: -Wall -Werror other-modules: Unit , Property - build-depends: base >= 4 && < 5 + build-depends: base >=4 && <5 , verifuzz >=0.1 && <0.2 , fgl >=5.7 && <5.8 - , tasty >= 1.2 && <1.3 - , tasty-hunit >= 0.10 && <0.11 - , tasty-quickcheck >= 0.10 && <0.11 + , tasty >=1.2 && <1.3 + , tasty-hunit >=0.10 && <0.11 + , tasty-hedgehog >=0.2 && <0.3 + , hedgehog >=0.6 && <0.7 , lens >=4.17 && <4.18 , text >=1.2 && <1.3 , parsec >= 3.1 && < 3.2 |