diff options
-rwxr-xr-x | test/regress/run_regression.py | 2 |
1 files changed, 2 insertions, 0 deletions
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( |