diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-12-03 20:03:17 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-03 20:03:17 +0000 |
| commit | d29813263852c866f20f88504860120820499411 (patch) | |
| tree | 7f224cbfba855f3cd9c94911fcd863824de251fd /src/Verismith/Reduce.hs | |
| parent | c59a9178c701f4a514b980d0b8d66a6bd238fb19 (diff) | |
| download | verismith-d29813263852c866f20f88504860120820499411.tar.gz verismith-d29813263852c866f20f88504860120820499411.zip | |
Do not run counter example if no rerunner is specified
Diffstat (limited to 'src/Verismith/Reduce.hs')
| -rw-r--r-- | src/Verismith/Reduce.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs index 022dd1d..8f7bd7b 100644 --- a/src/Verismith/Reduce.hs +++ b/src/Verismith/Reduce.hs @@ -607,18 +607,19 @@ reduceWithScript top script file = do -- | Reduce a 'SourceInfo' using two 'Synthesiser' that are passed to it. reduceSynth :: (Synthesiser a, Synthesiser b, MonadSh m) - => Shelly.FilePath + => Maybe Text + -> Shelly.FilePath -> a -> b -> SourceInfo -> m SourceInfo -reduceSynth datadir a b = reduce (fromText $ "reduce_" <> toText a <> "_" <> toText b <> ".v") synth +reduceSynth mt datadir a b = reduce (fromText $ "reduce_" <> toText a <> "_" <> toText b <> ".v") synth where synth src' = liftSh $ do r <- runResultT $ do runSynth a src' runSynth b src' - runEquiv datadir a b src' + runEquiv mt datadir a b src' return $ case r of Fail (EquivFail _) -> True _ -> False |