From 0b0123e00378fefb9efb0c586f6b8a1d33ca0063 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Fri, 3 Jun 2022 01:09:57 -0700 Subject: [PATCH] don't use sed -i because it won't work on macos --- tests/various/.gitignore | 1 + tests/various/smtlib2_module.sh | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/tests/various/.gitignore b/tests/various/.gitignore index da78b6ec5..83e634820 100644 --- a/tests/various/.gitignore +++ b/tests/various/.gitignore @@ -7,3 +7,4 @@ /plugin.so.dSYM /temp /smtlib2_module.smt2 +/smtlib2_module-filtered.smt2 diff --git a/tests/various/smtlib2_module.sh b/tests/various/smtlib2_module.sh index a280da487..9b2f24f9f 100755 --- a/tests/various/smtlib2_module.sh +++ b/tests/various/smtlib2_module.sh @@ -1,5 +1,5 @@ #!/bin/bash set -ex ../../yosys -q -p 'read_verilog -formal smtlib2_module.v; prep; write_smt2 smtlib2_module.smt2' -sed -i 's/; SMT-LIBv2 description generated by Yosys .*/; SMT-LIBv2 description generated by Yosys $VERSION/' smtlib2_module.smt2 -diff -au smtlib2_module-expected.smt2 smtlib2_module.smt2 +sed 's/; SMT-LIBv2 description generated by Yosys .*/; SMT-LIBv2 description generated by Yosys $VERSION/' smtlib2_module.smt2 > smtlib2_module-filtered.smt2 +diff -au smtlib2_module-expected.smt2 smtlib2_module-filtered.smt2