From f428901f78d5c1ed18af31e12dd7178d405dde64 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 9 Mar 2022 16:28:44 -0800 Subject: [PATCH] Fix regression errors for arm64 nightlies. (#8268) --- test/regress/regress0/bug548a.smt2 | 1 - test/regress/run_regression.py | 2 ++ 2 files changed, 2 insertions(+), 1 deletion(-) 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) -- 2.30.2