diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-29 22:29:36 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-29 22:29:36 +0100 |
| commit | 08f10a6f6cbc4fc8235beacedd587c56a9534f34 (patch) | |
| tree | 6351bda87abd5dda95a397b8597b7fe5728eb546 | |
| parent | ddcfb6403a374d46c063146ee104e266e31b178f (diff) | |
| download | verismith-08f10a6f6cbc4fc8235beacedd587c56a9534f34.tar.gz verismith-08f10a6f6cbc4fc8235beacedd587c56a9534f34.zip | |
Add missing dependencies
| -rw-r--r-- | stack.yaml | 6 | ||||
| -rw-r--r-- | verifuzz.cabal | 13 |
2 files changed, 12 insertions, 7 deletions
@@ -1,5 +1,7 @@ flags: {} packages: -- . -extra-deps: [] + - . +extra-deps: + - QuickCheck-2.9.2@sha256:93cebf9f9c55e8a941bd3166272680d67b80d9b5d95bd836765e3d4a4ef278d0 + - fgl-arbitrary-0.2.0.3@sha256:d80598d16963ba151bf5dfaed5cfb8bb1cf441ce9b60bccce82367cc575c1622 resolver: lts-12.20 diff --git a/verifuzz.cabal b/verifuzz.cabal index 8790ce4..212999c 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -23,6 +23,7 @@ library , Test.VeriFuzz.Graph.ASTGen , Test.VeriFuzz.Graph.CodeGen , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.Graph.RandomAlt , Test.VeriFuzz.Helpers , Test.VeriFuzz.Simulator , Test.VeriFuzz.Simulator.General @@ -34,8 +35,9 @@ library , Test.VeriFuzz.Verilog.CodeGen , Test.VeriFuzz.Verilog.Mutate build-depends: base >= 4.7 && < 5 - , QuickCheck + , QuickCheck >=2.3 && <2.10 , fgl + , fgl-arbitrary , lens , random , shakespeare @@ -43,7 +45,7 @@ library , text , bytestring , hashable - extensions: OverloadedStrings + default-extensions: OverloadedStrings executable yosys main-is: app/Yosys.hs @@ -53,7 +55,7 @@ executable yosys , text , shakespeare , shelly - extensions: OverloadedStrings + default-extensions: OverloadedStrings executable verifuzz main-is: app/Main.hs @@ -62,11 +64,12 @@ executable verifuzz , verifuzz , graphviz , fgl + , fgl-arbitrary , text , QuickCheck , DRBG , bytestring - extensions: OverloadedStrings + default-extensions: OverloadedStrings test-suite verifuzz-test default-language: Haskell2010 @@ -83,4 +86,4 @@ test-suite verifuzz-test , tasty-quickcheck >= 0.10 , lens , text - extensions: OverloadedStrings + default-extensions: OverloadedStrings |