From 6ceb00347d5759e739cffb2f731392869b8fe42e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 24 Nov 2019 17:22:12 +0000 Subject: Add extension to simulation reduction --- src/Verismith/Reduce.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs index f6e55dc..022dd1d 100644 --- a/src/Verismith/Reduce.hs +++ b/src/Verismith/Reduce.hs @@ -641,7 +641,7 @@ runInTmp a = Shelly.withTmpDir $ (\f -> do return r) reduceSimIc :: (Synthesiser a, MonadSh m) => Shelly.FilePath -> [ByteString] -> a -> SourceInfo -> m SourceInfo -reduceSimIc fp bs a = reduce (fromText $ "reduce_sim_" <> toText a) synth +reduceSimIc fp bs a = reduce (fromText $ "reduce_sim_" <> toText a <> ".v") synth where synth src = liftSh . runInTmp $ do r <- runResultT $ do -- cgit