From b7c19b1c8896ed7b4114e64dc9478fc0041e9ec1 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Thu, 2 Jun 2022 23:12:07 -0700 Subject: [PATCH] smtlib2_module: try to fix test on macos --- tests/various/smtlib2_module.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2