From bd2f0ebc852a877e1bec4a8c2efca1539db8e4fb Mon Sep 17 00:00:00 2001 From: yoni206 Date: Fri, 20 Apr 2018 10:26:50 -0700 Subject: [PATCH] Allow metadata lines in test files to have leading spaces (#1799) Currently, lines like `;EXPECT: sat` instead of `; EXPECT: sat` cause problems. This PR fixes it. --- test/regress/run_regression.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py index 260ab3284..db72854eb 100755 --- a/test/regress/run_regression.py +++ b/test/regress/run_regression.py @@ -168,10 +168,10 @@ def run_regression(proof, dump, wrapper, cvc4_binary, benchmark_path, timeout): expected_exit_status = None command_line = '' for line in metadata_lines: - # Skip lines that do not start with "%" + # Skip lines that do not start with a comment character. if line[0] != comment_char: continue - line = line[2:] + line = line[1:].lstrip() if line.startswith(SCRUBBER): scrubber = line[len(SCRUBBER):] -- 2.30.2