From e75c0fcdb2298304fdbb01c03bfb89cc7c657219 Mon Sep 17 00:00:00 2001 From: drunkendog Date: Tue, 12 Sep 2023 14:13:44 +0100 Subject: [PATCH] Update run-tests.py --- run-tests.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/run-tests.py b/run-tests.py index 08f475b..ff77a9d 100644 --- a/run-tests.py +++ b/run-tests.py @@ -7,6 +7,9 @@ import sys # will break if there are namespace collisions +if os.path.isfile("a.out"): + raise FileExistsError # TODO: generate uuid .out + file_list = glob.glob(f"{os.path.dirname(__file__)}/**/*.cases", recursive=True) file_only_list = [os.path.basename(x.rstrip(".cases")) for x in file_list]