diff options
Diffstat (limited to 'tests/various')
| -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 |