diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-12 16:51:32 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-12 16:51:32 +0000 |
commit | 02849780204c36fd9c130a398c0a6901b461f8f5 (patch) | |
tree | 7145e35f751661120641329568afa7797902009a /src/Verismith/Report.hs | |
parent | 9d2bddfa46b0e4b80f7cf8b30769dec49e1ed423 (diff) | |
download | verismith-02849780204c36fd9c130a398c0a6901b461f8f5.tar.gz verismith-02849780204c36fd9c130a398c0a6901b461f8f5.zip |
Add reduction for simulation failures
Diffstat (limited to 'src/Verismith/Report.hs')
-rw-r--r-- | src/Verismith/Report.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Verismith/Report.hs b/src/Verismith/Report.hs index 743240d..dbaf613 100644 --- a/src/Verismith/Report.hs +++ b/src/Verismith/Report.hs @@ -155,15 +155,15 @@ defaultIcarusSim = IcarusSim defaultIcarus -- | The results from running a tool through a simulator. It can either fail or -- return a result, which is most likely a 'ByteString'. -data SimResult = SimResult !SynthTool !SimTool !BResult !NominalDiffTime +data SimResult = SimResult !SynthTool !SimTool ![ByteString] !BResult !NominalDiffTime deriving (Eq) instance Show SimResult where - show (SimResult synth sim r d) = show synth <> ", " <> show sim <> ": " <> show (bimap show (T.unpack . showBS) r) <> " (" <> show d <> ")" + show (SimResult synth sim _ r d) = show synth <> ", " <> show sim <> ": " <> show (bimap show (T.unpack . showBS) r) <> " (" <> show d <> ")" getSimResult :: SimResult -> UResult -getSimResult (SimResult _ _ (Pass _) _) = Pass () -getSimResult (SimResult _ _ (Fail b) _) = Fail b +getSimResult (SimResult _ _ _ (Pass _) _) = Pass () +getSimResult (SimResult _ _ _ (Fail b) _) = Fail b -- | The results of comparing the synthesised outputs of two files using a -- formal equivalence checker. This will either return a failure or an output @@ -239,7 +239,7 @@ status :: Result Failed () -> Html status (Pass _ ) = H.td ! A.class_ "is-success" $ "Passed" status (Fail EmptyFail ) = H.td ! A.class_ "is-danger" $ "Failed" status (Fail (EquivFail _)) = H.td ! A.class_ "is-danger" $ "Equivalence failed" -status (Fail SimFail ) = H.td ! A.class_ "is-danger" $ "Simulation failed" +status (Fail (SimFail _)) = H.td ! A.class_ "is-danger" $ "Simulation failed" status (Fail SynthFail ) = H.td ! A.class_ "is-danger" $ "Synthesis failed" status (Fail EquivError ) = H.td ! A.class_ "is-danger" $ "Equivalence error" status (Fail TimeoutError) = H.td ! A.class_ "is-warning" $ "Time out" |