diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-19 18:17:10 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-19 18:17:10 +0100 |
commit | 9a051648695d459d4564be58ae4850e159cb3ba3 (patch) | |
tree | c01c41277f731d06294a49e53b511022e3da5017 /src/VeriFuzz/Report.hs | |
parent | 0c791013340788eb4c18af361a57e4e2504a64f7 (diff) | |
download | verismith-9a051648695d459d4564be58ae4850e159cb3ba3.tar.gz verismith-9a051648695d459d4564be58ae4850e159cb3ba3.zip |
Change simple graph check to acyclic check
Diffstat (limited to 'src/VeriFuzz/Report.hs')
-rw-r--r-- | src/VeriFuzz/Report.hs | 53 |
1 files changed, 32 insertions, 21 deletions
diff --git a/src/VeriFuzz/Report.hs b/src/VeriFuzz/Report.hs index b20fdcb..2edd31e 100644 --- a/src/VeriFuzz/Report.hs +++ b/src/VeriFuzz/Report.hs @@ -234,28 +234,39 @@ resultReport :: Text -> FuzzReport -> Html resultReport name (FuzzReport synth _ stat) = H.docTypeHtml $ do H.head $ do H.title $ "Fuzz Report - " <> H.toHtml name - H.meta ! A.name "viewport" ! A.content "width=device-width, initial-scale=1" + H.meta ! A.name "viewport" ! A.content + "width=device-width, initial-scale=1" H.meta ! A.charset "utf8" - H.link ! A.rel "stylesheet" ! A.href "https://cdnjs.cloudflare.com/ajax/libs/bulma/0.7.4/css/bulma.min.css" - H.body . (H.section ! A.class_ "section") . (H.div ! A.class_ "container") $ do - H.h1 ! A.class_ "title" $ "Fuzz Report - " <> H.toHtml name - H.h2 ! A.class_ "subtitle" $ "Synthesis Failure" - H.table ! A.class_ "table" $ do - H.thead . H.toHtml $ ( H.tr - . H.toHtml - $ [H.th "Synthesis tool", H.th "Synthesis Status"] - ) - H.tbody . H.toHtml $ fmap synthStatusHtml stat - H.h2 ! A.class_ "subtitle" $ "Equivalence Check Status" - H.table ! A.class_ "table" $ do - H.thead . H.toHtml $ ( H.tr - . H.toHtml - $ [ H.th "First tool" - , H.th "Second tool" - , H.th "Equivalence Status" - ] - ) - H.tbody . H.toHtml $ fmap synthResultHtml synth + H.link + ! A.rel "stylesheet" + ! A.href + "https://cdnjs.cloudflare.com/ajax/libs/bulma/0.7.4/css/bulma.min.css" + H.body + . (H.section ! A.class_ "section") + . (H.div ! A.class_ "container") + $ do + H.h1 ! A.class_ "title" $ "Fuzz Report - " <> H.toHtml name + H.h2 ! A.class_ "subtitle" $ "Synthesis Failure" + H.table ! A.class_ "table" $ do + H.thead + . H.toHtml + $ ( H.tr + . H.toHtml + $ [H.th "Synthesis tool", H.th "Synthesis Status"] + ) + H.tbody . H.toHtml $ fmap synthStatusHtml stat + H.h2 ! A.class_ "subtitle" $ "Equivalence Check Status" + H.table ! A.class_ "table" $ do + H.thead + . H.toHtml + $ ( H.tr + . H.toHtml + $ [ H.th "First tool" + , H.th "Second tool" + , H.th "Equivalence Status" + ] + ) + H.tbody . H.toHtml $ fmap synthResultHtml synth printResultReport :: Text -> FuzzReport -> Text printResultReport t f = toStrict . renderHtml $ resultReport t f |