diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-07 17:19:12 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-07 17:19:12 +0100 |
commit | d86cb8fd763e687cf2cd7ad40094d15ebba6bf87 (patch) | |
tree | 31a083f596f82d94ba91677d07de0fe1c13cd042 /src/Verismith/Tool/Yosys.hs | |
parent | 38f11a0f5b4d867d5744141f833cebb885405d09 (diff) | |
download | verismith-d86cb8fd763e687cf2cd7ad40094d15ebba6bf87.tar.gz verismith-d86cb8fd763e687cf2cd7ad40094d15ebba6bf87.zip |
Remove shakespeare dependency
Diffstat (limited to 'src/Verismith/Tool/Yosys.hs')
-rw-r--r-- | src/Verismith/Tool/Yosys.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Verismith/Tool/Yosys.hs b/src/Verismith/Tool/Yosys.hs index 9f536b7..24b83fd 100644 --- a/src/Verismith/Tool/Yosys.hs +++ b/src/Verismith/Tool/Yosys.hs @@ -29,7 +29,6 @@ import Prelude hiding (FilePath) import Shelly (FilePath, (</>)) import qualified Shelly as S import Shelly.Lifted (liftSh, readfile) -import Text.Shakespeare.Text (st) import Verismith.CounterEg (parseCounterEg) import Verismith.Result import Verismith.Tool.Internal @@ -102,7 +101,7 @@ runEquivYosys yosys sim1 sim2 srcInfo = do runSynth sim1 srcInfo runSynth sim2 srcInfo liftSh $ S.run_ (yosysPath yosys) [S.toTextIgnore checkFile] - where checkFile = S.fromText [st|test.#{toText sim1}.#{toText sim2}.ys|] + where checkFile = S.fromText $ "test." <> toText sim1 <> "." <> toText sim2 <> ".ys" runEquiv :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> (SourceInfo ann) -> ResultSh () |