diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 20:50:01 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 20:50:01 +0100 |
| commit | 76e9b994258d9af87868ba9f420db4ee1c29de67 (patch) | |
| tree | f11b3729582a21ea31555a9106d2190e180e2ce9 /src/VeriFuzz/Report.hs | |
| parent | 3ddfc0111566113b3ec15725cb5ced6dea531a3a (diff) | |
| download | verismith-76e9b994258d9af87868ba9f420db4ee1c29de67.tar.gz verismith-76e9b994258d9af87868ba9f420db4ee1c29de67.zip | |
Format with brittany
Diffstat (limited to 'src/VeriFuzz/Report.hs')
| -rw-r--r-- | src/VeriFuzz/Report.hs | 36 |
1 files changed, 23 insertions, 13 deletions
diff --git a/src/VeriFuzz/Report.hs b/src/VeriFuzz/Report.hs index f2d5ce4..5882144 100644 --- a/src/VeriFuzz/Report.hs +++ b/src/VeriFuzz/Report.hs @@ -199,7 +199,8 @@ descriptionToSynth (SynthDescription "xst" bin desc out) = $ maybe (xstOutput defaultXST) fromText out descriptionToSynth (SynthDescription "quartus" bin desc out) = QuartusSynth - . Quartus (fromText <$> bin) (fromMaybe (quartusDesc defaultQuartus) $ desc) + . Quartus (fromText <$> bin) + (fromMaybe (quartusDesc defaultQuartus) $ desc) $ maybe (quartusOutput defaultQuartus) fromText out descriptionToSynth (SynthDescription "identity" _ desc out) = IdentitySynth @@ -209,12 +210,12 @@ 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 (Fail EquivError) = "Equivalence error" +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 @@ -234,14 +235,23 @@ resultReport name (FuzzReport synth _ stat) = H.docTypeHtml $ do H.body $ do H.h1 $ "Fuzz Report - " <> H.toHtml name H.h2 "Synthesis Failure" - H.table . H.toHtml $ - (H.tr . H.toHtml $ - [H.th "Synthesis tool", H.th "Synthesis Status"]) + H.table + . H.toHtml + $ ( H.tr + . H.toHtml + $ [H.th "Synthesis tool", H.th "Synthesis Status"] + ) : fmap synthStatusHtml stat H.h2 "Equivalence Check Status" - H.table . H.toHtml $ - (H.tr . H.toHtml $ - [H.th "First tool", H.th "Second tool", H.th "Equivalence Status"]) + H.table + . H.toHtml + $ ( H.tr + . H.toHtml + $ [ H.th "First tool" + , H.th "Second tool" + , H.th "Equivalence Status" + ] + ) : fmap synthResultHtml synth printResultReport :: Text -> FuzzReport -> Text |