don't use sed -i because it won't work on macos
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 3 Jun 2022 08:09:57 +0000 (01:09 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 7 Jun 2022 04:13:09 +0000 (21:13 -0700)
(cherry picked from commit 0b0123e00378fefb9efb0c586f6b8a1d33ca0063)

tests/various/.gitignore
tests/various/smtlib2_module.sh

index da78b6ec59de1e179f5ab2e2d41535ccfe6df366..83e634820aa4eb307ddf57c88a741f3a53f67fef 100644 (file)
@@ -7,3 +7,4 @@
 /plugin.so.dSYM
 /temp
 /smtlib2_module.smt2
+/smtlib2_module-filtered.smt2
index a280da48701e7108e22dc6be7b832ee2c3c3d915..9b2f24f9f81ef73a4f60dc3703ee264944810a23 100755 (executable)
@@ -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