diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-13 20:35:00 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 20:35:00 +0100 |
commit | ed491e5c36e7bf298dfd969c0a222100ac532f18 (patch) | |
tree | 169d3ad06da52f3afd812f73418d65c73cfee039 /src/VeriFuzz/Report.hs | |
parent | fc82160dae684d8ee86326210b359982c66d7bf3 (diff) | |
download | verismith-ed491e5c36e7bf298dfd969c0a222100ac532f18.tar.gz verismith-ed491e5c36e7bf298dfd969c0a222100ac532f18.zip |
Add more reporting to equivalence check
Diffstat (limited to 'src/VeriFuzz/Report.hs')
-rw-r--r-- | src/VeriFuzz/Report.hs | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/src/VeriFuzz/Report.hs b/src/VeriFuzz/Report.hs index c288652..f2d5ce4 100644 --- a/src/VeriFuzz/Report.hs +++ b/src/VeriFuzz/Report.hs @@ -209,11 +209,13 @@ descriptionToSynth s = error $ "Could not find implementation for synthesiser '" <> show s <> "'" status :: Result Failed () -> Html -status (Pass _) = "Passed" -status (Fail EmptyFail) = "Failed" -status (Fail EquivFail) = "Equivalence failed" -status (Fail SimFail) = "Simulation failed" -status (Fail SynthFail) = "Synthesis failed" +status (Pass _) = "Passed" +status (Fail EmptyFail) = "Failed" +status (Fail EquivFail) = "Equivalence failed" +status (Fail SimFail) = "Simulation failed" +status (Fail SynthFail) = "Synthesis failed" +status (Fail EquivError) = "Equivalence error" +status (Fail TimeoutError) = "Time out" synthStatusHtml :: SynthStatus -> Html synthStatusHtml (SynthStatus synth res) = H.tr $ do @@ -230,7 +232,7 @@ resultReport :: Text -> FuzzReport -> Html resultReport name (FuzzReport synth _ stat) = H.docTypeHtml $ do H.head . H.title $ "Fuzz Report - " <> H.toHtml name H.body $ do - H.h1 "Fuzz Report" + H.h1 $ "Fuzz Report - " <> H.toHtml name H.h2 "Synthesis Failure" H.table . H.toHtml $ (H.tr . H.toHtml $ |