Test: Allow .exe in file test names

2015-09-15 22:07:18 -04:00
parent 2690d9bdf3
commit 66676539ce
1 changed files with 1 additions and 1 deletions
--- a/test/problems
+++ b/test/problems
@@ -52,7 +52,7 @@ if __name__ == "__main__":
    unexpected = defaultdict(int)
    passed = defaultdict(int)

-    file = re.compile("^# (?:./)?(\S+\.t)$")
+    file = re.compile("^# (?:./)?(\S+\.t)(?:\.exe)?$")
    timestamp = re.compile("^# (\d+(?:\.\d+)?) ==>.*$")
    start = None
    stop = None