diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-23 13:31:08 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-23 13:31:08 +0100 |
| commit | 08277fe043ae29296ce4a32bab569f524f88b859 (patch) | |
| tree | a8786ba4e05e5f142dcc2d51d5cfc27e3224c4dd /verifuzz.cabal | |
| parent | 931b1a60643f50768eb33903e87a7471898835db (diff) | |
| download | verismith-08277fe043ae29296ce4a32bab569f524f88b859.tar.gz verismith-08277fe043ae29296ce4a32bab569f524f88b859.zip | |
Add Report type
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 85e2b1b..6137f0b 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -36,6 +36,7 @@ library , VeriFuzz.Fuzz , VeriFuzz.Internal , VeriFuzz.Reduce + , VeriFuzz.Report , VeriFuzz.Result , VeriFuzz.Sim , VeriFuzz.Sim.Icarus @@ -75,7 +76,7 @@ library , parsec >=3.1 && <3.2 , transformers >=0.5 && <0.6 , transformers-base >=0.4.5 && <0.5 - , tomland >=0.5 && <0.6 + , tomland >=1.0 && <1.1 , array >=0.5 && <0.6 , recursion-schemes >=5.1 && <5.2 , prettyprinter >= 1.2.1 && < 1.3 |