From 08277fe043ae29296ce4a32bab569f524f88b859 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 23 Apr 2019 13:31:08 +0100 Subject: Add Report type --- verifuzz.cabal | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'verifuzz.cabal') 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 -- cgit