diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-11-24 17:22:12 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-24 17:22:12 +0000 |
| commit | 6ceb00347d5759e739cffb2f731392869b8fe42e (patch) | |
| tree | 6b337f62d785e08fe16d42dc4cc77af7f29f8470 | |
| parent | e79d350b145139128a2aecf32666ee5b1cd05adb (diff) | |
| download | verismith-6ceb00347d5759e739cffb2f731392869b8fe42e.tar.gz verismith-6ceb00347d5759e739cffb2f731392869b8fe42e.zip | |
Add extension to simulation reduction
| -rw-r--r-- | src/Verismith/Reduce.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |