From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 10 Mar 2022 00:28:44 +0000 (-0800)
Subject: Fix regression errors for arm64 nightlies. (#8268)
X-Git-Tag: cvc5-1.0.0~290
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f428901f78d5c1ed18af31e12dd7178d405dde64;p=cvc5.git

Fix regression errors for arm64 nightlies. (#8268)
---

diff --git a/test/regress/regress0/bug548a.smt2 b/test/regress/regress0/bug548a.smt2
index 0c4f1f454..1840dc372 100644
--- 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 6f0b00fba..01f118d8a 100755
--- 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)