Update run-tests.py

2023-09-12 14:13:44 +01:00 · 2023-09-12 14:13:44 +01:00 · e75c0fcdb2
parent d8ca74e6b1
commit e75c0fcdb2
1 changed files with 3 additions and 0 deletions
--- 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]