diff options
| author | Jacob Lifshay <programmerjake@gmail.com> | 2022-06-02 23:12:07 -0700 |
|---|---|---|
| committer | Jacob Lifshay <programmerjake@gmail.com> | 2022-06-02 23:12:07 -0700 |
| commit | b7c19b1c8896ed7b4114e64dc9478fc0041e9ec1 (patch) | |
| tree | 7140714c9514f5ee71faa855696c49ae1528a693 /tests | |
| parent | cd57c5adb39d2343e81ed1024cb2848983bfede2 (diff) | |
| download | yosys-b7c19b1c8896ed7b4114e64dc9478fc0041e9ec1.tar.gz yosys-b7c19b1c8896ed7b4114e64dc9478fc0041e9ec1.tar.bz2 yosys-b7c19b1c8896ed7b4114e64dc9478fc0041e9ec1.zip | |
smtlib2_module: try to fix test on macos
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/various/smtlib2_module.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/various/smtlib2_module.sh b/tests/various/smtlib2_module.sh index 2dbd664fa..a280da487 100755 --- a/tests/various/smtlib2_module.sh +++ b/tests/various/smtlib2_module.sh @@ -2,4 +2,4 @@ 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 -auN smtlib2_module-expected.smt2 smtlib2_module.smt2 +diff -au smtlib2_module-expected.smt2 smtlib2_module.smt2 |