From 90cc3dba58599386b4ce651a9dd3763191d3dbb4 Mon Sep 17 00:00:00 2001 From: dario Date: Wed, 7 Feb 2024 18:51:08 +0100 Subject: [PATCH] Small fix for run.py --- run.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.py b/run.py index 5efa67e..d72bdf8 100644 --- a/run.py +++ b/run.py @@ -22,7 +22,7 @@ path = 'Tasty/src/cases/' for case in os.listdir(path): # Find the number of the test case. - match = re.match('case([0-9])+\.cpp', case) + match = re.match('case([0-9]+)\.cpp', case) number = match.group(1) with open('Tasty/include/sta/tasty/config.hpp', 'w') as f: