From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 6 Nov 2019 16:40:22 +0000 (-0800)
Subject: [Regressions] Remove leading whitespace in output (#3444)
X-Git-Tag: cvc5-1.0.0~3852
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=223d35d897f570aec7599d25c20041bc5306ccb6;p=cvc5.git

[Regressions] Remove leading whitespace in output (#3444)
---

diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py
index d445264fb..8e9261ec2 100755
--- a/test/regress/run_regression.py
+++ b/test/regress/run_regression.py
@@ -342,6 +342,8 @@ def run_regression(unsat_cores, proofs, dump, use_skip_return_code, wrapper,
         output, error, exit_status = run_benchmark(
             dump, wrapper, scrubber, error_scrubber, cvc4_binary,
             command_line_args, benchmark_dir, benchmark_basename, timeout)
+        output = re.sub(r'^[ \t]*', '', output, flags=re.MULTILINE)
+        error = re.sub(r'^[ \t]*', '', error, flags=re.MULTILINE)
         if output != expected_output:
             exit_code = EXIT_FAILURE
             print(