diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 22:05:32 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 22:05:41 +0200 |
commit | 992e91427fccff43f8ab1944131b8f62f9328f0d (patch) | |
tree | 1108e017b2c172da02dde8d07d17f0eda7bc23f9 /src/VeriFuzz/Report.hs | |
parent | 24382ce10ed53724ad2d097a7ed2397806be3e67 (diff) | |
download | verismith-992e91427fccff43f8ab1944131b8f62f9328f0d.tar.gz verismith-992e91427fccff43f8ab1944131b8f62f9328f0d.zip |
Add new maintainer email
Diffstat (limited to 'src/VeriFuzz/Report.hs')
-rw-r--r-- | src/VeriFuzz/Report.hs | 48 |
1 files changed, 19 insertions, 29 deletions
diff --git a/src/VeriFuzz/Report.hs b/src/VeriFuzz/Report.hs index 3037b34..56fd062 100644 --- a/src/VeriFuzz/Report.hs +++ b/src/VeriFuzz/Report.hs @@ -4,7 +4,7 @@ Module : VeriFuzz.Report Description : Generate a report from a fuzz run. Copyright : (c) 2019, Yann Herklotz Grave License : GPL-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX @@ -41,33 +41,23 @@ module VeriFuzz.Report ) where -import Control.DeepSeq ( NFData - , rnf - ) -import Control.Lens hiding ( Identity - , (<.>) - ) -import Data.Bifunctor ( bimap ) -import Data.ByteString ( ByteString ) -import Data.Maybe ( fromMaybe ) -import Data.Monoid ( Endo ) -import Data.Text ( Text ) +import Control.DeepSeq (NFData, rnf) +import Control.Lens hiding (Identity, (<.>)) +import Data.Bifunctor (bimap) +import Data.ByteString (ByteString) +import Data.Maybe (fromMaybe) +import Data.Monoid (Endo) +import Data.Text (Text) import qualified Data.Text as T -import Data.Text.Lazy ( toStrict ) +import Data.Text.Lazy (toStrict) import Data.Time -import Data.Vector ( fromList ) -import Prelude hiding ( FilePath ) -import Shelly ( FilePath - , fromText - , toTextIgnore - , (<.>) - , (</>) - ) -import Statistics.Sample ( meanVariance ) -import Text.Blaze.Html ( Html - , (!) - ) -import Text.Blaze.Html.Renderer.Text ( renderHtml ) +import Data.Vector (fromList) +import Prelude hiding (FilePath) +import Shelly (FilePath, fromText, + toTextIgnore, (<.>), (</>)) +import Statistics.Sample (meanVariance) +import Text.Blaze.Html (Html, (!)) +import Text.Blaze.Html.Renderer.Text (renderHtml) import qualified Text.Blaze.Html5 as H import qualified Text.Blaze.Html5.Attributes as A import VeriFuzz.Config @@ -206,9 +196,9 @@ data FuzzReport = FuzzReport { _fuzzDir :: !FilePath , _simResults :: ![SimResult] , _synthStatus :: ![SynthStatus] , _fileLines :: {-# UNPACK #-} !Int - , _synthTime :: {-# UNPACK #-} !NominalDiffTime - , _equivTime :: {-# UNPACK #-} !NominalDiffTime - , _reducTime :: {-# UNPACK #-} !NominalDiffTime + , _synthTime :: !NominalDiffTime + , _equivTime :: !NominalDiffTime + , _reducTime :: !NominalDiffTime } deriving (Eq, Show) |