From c8cb333d16fbe1cff191005ab5dfb1940e2db2be Mon Sep 17 00:00:00 2001 From: Daniel Salzman Date: Thu, 15 Jan 2026 10:35:48 +0100 Subject: [PATCH] tests-extra: change the separator that displays the number of repetitions from : to __ --- tests-extra/runtests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests-extra/runtests.py b/tests-extra/runtests.py index 8eb8ebfe9..d9d5ea935 100755 --- a/tests-extra/runtests.py +++ b/tests-extra/runtests.py @@ -170,7 +170,7 @@ def job(job_id, tasks, results, stop): continue try: - out_dir = os.path.join(outs_dir, test, case_n.replace(" #", ":")) + out_dir = os.path.join(outs_dir, test, case_n.replace(" #", "__")) log_file = os.path.join(out_dir, "case.log") os.makedirs(out_dir, exist_ok=True)