projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c5d17b1)
smtlib2_module: try to fix test on macos
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 3 Jun 2022 06:12:07 +0000 (23:12 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 7 Jun 2022 04:13:09 +0000 (21:13 -0700)
(cherry picked from commit b7c19b1c8896ed7b4114e64dc9478fc0041e9ec1)

tests/various/smtlib2_module.sh patch | blob | history

diff --git a/tests/various/smtlib2_module.sh b/tests/various/smtlib2_module.sh
index 2dbd664faeb312cc3f3489cecaeff296d29ce547..a280da48701e7108e22dc6be7b832ee2c3c3d915 100755 (executable)
--- 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