From 66676539ce7453f235cdce269b58516f686f3683 Mon Sep 17 00:00:00 2001 From: Paul Beckingham Date: Tue, 15 Sep 2015 22:07:18 -0400 Subject: [PATCH] Test: Allow .exe in file test names --- test/problems | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/problems b/test/problems index b4f2ff65d..35f4c8bbf 100755 --- 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