Fix regression errors for arm64 nightlies. (#8268)

diff --git a/test/regress/regress0/bug548a.smt2 b/test/regress/regress0/bug548a.smt2
index 0c4f1f4542964ef153c41f9745f8c647a1d096d9..1840dc372b57a1d59c71a130e7f97b378df71676 100644 (file)
--- a/test/regress/regress0/bug548a.smt2
+++ b/test/regress/regress0/bug548a.smt2
@@ -1,4 +1,3 @@
-; COMMAND-LINE: --tlimit 1000
 ; EXPECT: unknown
 (set-logic AUFNIA)
 (declare-fun f (Int) Int)

diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py
index 6f0b00fba189b3b55703928f34e45c5a60f744d5..01f118d8a01b3b0973bc21fb0bb2a67cabf9e633 100755 (executable)
--- a/test/regress/run_regression.py
+++ b/test/regress/run_regression.py
@@ -470,6 +470,8 @@ def run_benchmark(benchmark_info):
         error = error.decode()
     output = re.sub(r"^[ \t]*", "", output.strip(), flags=re.MULTILINE)
     error = re.sub(r"^[ \t]*", "", error.strip(), flags=re.MULTILINE)
+    # qemu (used for arm nightlies) emits additional error output for non-zero exit codes
+    error = re.sub(r"qemu: uncaught target signal.*", "", error.strip())
     return (output, error, exit_status)