From 223d35d897f570aec7599d25c20041bc5306ccb6 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Wed, 6 Nov 2019 08:40:22 -0800 Subject: [PATCH] [Regressions] Remove leading whitespace in output (#3444) --- test/regress/run_regression.py | 2 ++ 1 file changed, 2 insertions(+) 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( -- 2.30.2