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

diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py
index d445264fb3875bace1cdf650001758d15a175a63..8e9261ec2eee5c40c4634c6fa2043205c7d0140f 100755 (executable)
--- 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(