projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5bca1e6
)
run_regression: Make sure to strip trailing whitespaces from error output. (#8319)
author
Mathias Preiner
<mathias.preiner@gmail.com>
Wed, 16 Mar 2022 03:07:25 +0000
(20:07 -0700)
committer
GitHub
<noreply@github.com>
Wed, 16 Mar 2022 03:07:25 +0000
(
03:07
+0000)
Should finally fix arm64 (qemu) nightly failures.
test/regress/run_regression.py
patch
|
blob
|
history
diff --git
a/test/regress/run_regression.py
b/test/regress/run_regression.py
index 01f118d8a01b3b0973bc21fb0bb2a67cabf9e633..227ff2ef1e9242380a682ea9db8ac1a58e772369 100755
(executable)
--- 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)