tests-extra: change the separator that displays the number of repetitions from : to __

This commit is contained in:
Daniel Salzman 2026-01-15 10:35:48 +01:00
parent eab5ebc662
commit c8cb333d16

View file

@ -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)