diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-06-05 13:52:20 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-05 13:52:27 +0100 |
commit | 720fa7a822a077458cf0b29e9dcdc754a881e8bd (patch) | |
tree | fa00db795c17bba78b02de2823c1092fae1d81ec /src/VeriFuzz/Report.hs | |
parent | f3268d934a9a2b01633b5f7a3353d1a97c40a9df (diff) | |
download | verismith-720fa7a822a077458cf0b29e9dcdc754a881e8bd.tar.gz verismith-720fa7a822a077458cf0b29e9dcdc754a881e8bd.zip |
Format all files
Diffstat (limited to 'src/VeriFuzz/Report.hs')
-rw-r--r-- | src/VeriFuzz/Report.hs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/VeriFuzz/Report.hs b/src/VeriFuzz/Report.hs index 20addfb..fb66275 100644 --- a/src/VeriFuzz/Report.hs +++ b/src/VeriFuzz/Report.hs @@ -356,7 +356,13 @@ summary name fuzz = H.docTypeHtml $ do H.tr $ H.toHtml [ H.td $ H.strong "Total" , H.td mempty - , H.td . H.string . show . sum $ fuzz ^.. traverse . fileLines + , H.td + . H.string + . show + . sum + $ fuzz + ^.. traverse + . fileLines , sumUp synthTime , sumUp equivTime , sumUp reducTime @@ -382,7 +388,7 @@ summary name fuzz = H.docTypeHtml $ do meanVar s = bimap d2T d2T $ fuzzStats s fuzz showHtml = H.td . H.string . show d2T = showHtml . (realToFrac :: Double -> NominalDiffTime) - d2I = H.td . H.string . show + d2I = H.td . H.string . show printResultReport :: Text -> FuzzReport -> Text printResultReport t f = toStrict . renderHtml $ resultReport t f |