diff options
| -rw-r--r-- | src/VeriFuzz/Reduce.hs | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index 2bf5a78..f9a4ebf 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -41,6 +41,7 @@ import Shelly ((<.>)) import qualified Shelly import Shelly.Lifted (MonadSh, liftSh) import VeriFuzz.Internal +import VeriFuzz.Result import VeriFuzz.Sim import VeriFuzz.Sim.Internal import VeriFuzz.Verilog.AST @@ -382,9 +383,17 @@ reduceWithScript top script file = do -- | Reduce a 'SourceInfo' using two Synthesisers that are passed to it. reduceSynth :: (Synthesiser a, Synthesiser b, MonadSh m) - => Yosys - -> a - -> Maybe b + => a + -> b -> SourceInfo -> m SourceInfo -reduceSynth = undefined +reduceSynth a b = reduce synth + where + synth src' = liftSh $ do + r <- runResultT $ do + runSynth a src' + runSynth b src' + runEquiv a b src' + case r of + Fail _ -> return False + Pass _ -> return True |