projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bca1e6) | patch
run_regression: Make sure to strip trailing whitespaces from error output. (#8319)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 16 Mar 2022 03:07:25 +0000 (20:07 -0700)
committerGitHub <noreply@github.com>
Wed, 16 Mar 2022 03:07:25 +0000 (03:07 +0000)
commit2bbbb130d81a3d696e2e171edd552161ddb88fc8
treefe8e88774f47b2755f0bb973b1b4d146e7dc0875tree
parent5bca1e6c4daba31d5c216a86ce3997f0a46a3cd5commit | diff
run_regression: Make sure to strip trailing whitespaces from error output. (#8319)

Should finally fix arm64 (qemu) nightly failures.
test/regress/run_regression.py diff | blob | history