projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
57b27e6
)
[Regression Script] Fix printing of error diff (#7451)
author
Andres Noetzli
<andres.noetzli@gmail.com>
Thu, 21 Oct 2021 18:13:52 +0000
(11:13 -0700)
committer
GitHub
<noreply@github.com>
Thu, 21 Oct 2021 18:13:52 +0000
(11:13 -0700)
test/regress/run_regression.py
patch
|
blob
|
history
diff --git
a/test/regress/run_regression.py
b/test/regress/run_regression.py
index 7b1c5a43f2daaa7605edf076fa5cf98f4de0fd78..edb45e4bd185f1373703faaf45f8c15b7a6b5f89 100755
(executable)
--- a/
test/regress/run_regression.py
+++ b/
test/regress/run_regression.py
@@
-74,7
+74,7
@@
class Tester:
print()
print("Error output difference")
print("=" * 80)
- print_diff(error, expected_error)
+ print_diff(error,
benchmark_info.
expected_error)
print("=" * 80)
print()
elif exit_status != benchmark_info.expected_exit_status: