Logging state transitions in debug mode produces huge amounts of
output which is not especially helpful. This change removes this
debugging output. This reduces the debug output by approximately two
thirds.
---
generator/state_machine_generator.ml | 12 ------------
1 file changed, 12 deletions(-)
diff --git a/generator/state_machine_generator.ml b/generator/state_machine_generator.ml
index 274e290952..52c497646d 100644
--- a/generator/state_machine_generator.ml
+++ b/generator/state_machine_generator.ml
@@ -380,9 +380,6 @@ let
pr " h, &next, blocked\n";
pr " );\n";
pr " if (get_next_state (h) != next) {\n";
- pr " debug (h, \"transition: %%s -> %%s\",\n";
- pr " \"%s\",\n" display_name;
- pr " nbd_internal_state_short_string (next));\n";
pr " set_next_state (h, next);\n";
pr " }\n";
pr " return r;\n";
@@ -423,15 +420,6 @@ let
pr " case %s:\n" (c_string_of_external_event e);
if state != next_state then (
pr " set_next_state (h, %s);\n"
next_state.parsed.state_enum;
- pr " debug (";
- let print_debug_args () =
- pr "h, \"event %%s: %%s -> %%s\", ";
- pr "\"%s\", \"%s\", \"%s\");"
- (string_of_external_event e)
- display_name next_state.parsed.display_name;
- in
- pr_wrap ',' print_debug_args;
- pr "\n"
);
pr " goto ok;\n";
) events;
--
2.40.1