From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 16 Mar 2022 03:07:25 +0000 (-0700)
Subject: run_regression: Make sure to strip trailing whitespaces from error output. (#8319)
X-Git-Tag: cvc5-1.0.0~242
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2bbbb130d81a3d696e2e171edd552161ddb88fc8;p=cvc5.git

run_regression: Make sure to strip trailing whitespaces from error output. (#8319)

Should finally fix arm64 (qemu) nightly failures.
---

diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py
index 01f118d8a..227ff2ef1 100755
--- a/test/regress/run_regression.py
+++ b/test/regress/run_regression.py
@@ -471,7 +471,7 @@ def run_benchmark(benchmark_info):
     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())
+    error = re.sub(r"qemu: uncaught target signal.*", "", error).strip()
     return (output, error, exit_status)