From a22dd705d7131f36377bd2837a8ace059ff2c5b4 Mon Sep 17 00:00:00 2001 From: iddober Date: Sun, 3 Mar 2024 17:29:04 +0200 Subject: [PATCH] Update debug_tools.py --- source/debug_tools.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/source/debug_tools.py b/source/debug_tools.py index 09398ee..ac5cdbb 100644 --- a/source/debug_tools.py +++ b/source/debug_tools.py @@ -7,7 +7,8 @@ def write_to_dot(transducer, file_name): - open(os.path.join(dot_files_folder_path, file_name+".dot"), "w").write(transducer.dot_representation()) + pass + #open(os.path.join(dot_files_folder_path, file_name+".dot"), "w").write(transducer.dot_representation()) run_times_by_function_names = defaultdict(list)