diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-19 10:32:54 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-19 10:32:54 +0100 |
commit | 13fbf04854093f8d77693f9280de4c1d55c7293c (patch) | |
tree | d326297180ad355bf8a7be200c3d7dab8f482ff6 | |
parent | 4adb8899ca5ed7f9671ba9a5f9d2e533ba0e5194 (diff) | |
download | verismith-13fbf04854093f8d77693f9280de4c1d55c7293c.tar.gz verismith-13fbf04854093f8d77693f9280de4c1d55c7293c.zip |
Fix compiling on CI
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 3 | ||||
-rw-r--r-- | test/Property.hs | 6 |
2 files changed, 7 insertions, 2 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 180ed4f..8ef67c6 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -17,6 +17,9 @@ module VeriFuzz.Fuzz ( SynthTool(..) , SimTool(..) , FuzzResult(..) + , synthResults + , simResults + , synthStatus , Fuzz , fuzz , runFuzz diff --git a/test/Property.hs b/test/Property.hs index 06c2e86..f7c6865 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -3,6 +3,9 @@ {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} +{-# OPTIONS_GHC -Wno-unused-top-binds #-} +{-# OPTIONS_GHC -Wno-unused-imports #-} + module Property ( propertyTests ) @@ -11,8 +14,7 @@ where import Data.Either (either, isRight) import qualified Data.Graph.Inductive as G import Data.Text (Text) -import qualified Data.Text as T -import Hedgehog (Gen, MonadGen, Property, (===)) +import Hedgehog (Gen, Property, (===)) import qualified Hedgehog as Hog import Hedgehog.Function (Arg, Vary) import qualified Hedgehog.Function as Hog |