mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 09:55:20 +00:00
Code Activity

don't use sed -i because it won't work on macos

Browse source
This commit is contained in:
Jacob Lifshay 2022-06-03 01:09:57 -07:00
parent b7c19b1c88
commit 0b0123e003
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
tests/various/.gitignore vendored
View file

@ -7,3 +7,4 @@
/plugin.so.dSYM /plugin.so.dSYM
/temp /temp
/smtlib2_module.smt2 /smtlib2_module.smt2
/smtlib2_module-filtered.smt2

4
tests/various/smtlib2_module.sh
View file

@ -1,5 +1,5 @@
#!/bin/bash #!/bin/bash
set -ex set -ex
../../yosys -q -p 'read_verilog -formal smtlib2_module.v; prep; write_smt2 smtlib2_module.smt2' ../../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 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.smt2 diff -au smtlib2_module-expected.smt2 smtlib2_module-filtered.smt2