From: yoni206 <yoni206@users.noreply.github.com>
Date: Fri, 20 Apr 2018 17:26:50 +0000 (-0700)
Subject: Allow metadata lines in test files to have leading spaces (#1799)
X-Git-Tag: cvc5-1.0.0~5135
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bd2f0ebc852a877e1bec4a8c2efca1539db8e4fb;p=cvc5.git

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.
---

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):]