From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 21 Oct 2021 18:13:52 +0000 (-0700)
Subject: [Regression Script] Fix printing of error diff (#7451)
X-Git-Tag: cvc5-1.0.0~1015
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=603d211446edb88faf6c570ba7f39a3a1c80de57;p=cvc5.git

[Regression Script] Fix printing of error diff (#7451)
---

diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py
index 7b1c5a43f..edb45e4bd 100755
--- 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: