From 8eb8eb30d14506f4b4dbe1b3b054db59b6b2cb8b Mon Sep 17 00:00:00 2001 From: 0xFugue <119708655+0xFugue@users.noreply.github.com> Date: Fri, 1 Sep 2023 17:43:15 +0530 Subject: [PATCH] build_case: fix --- scripts/build_cases.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build_cases.py b/scripts/build_cases.py index 045d283..4c28252 100644 --- a/scripts/build_cases.py +++ b/scripts/build_cases.py @@ -18,7 +18,7 @@ def build_case(overlay, committees, nodes, config_name, max_view=1, network='def f.seek(0) json.dump(data, f) f.truncate() - print((config_name, modified_name)) + print(f"config clash: renaming {config_name} to {modified_name}") config_name = modified_name shutil.move(f"{config_name}.json", "../configs/")