fix: remove todo in GR1Runner regarding strategy printing

whitemech · Oct 23, 2024 · 92aa354 · 92aa354
1 parent 4bc77f1
commit 92aa354
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/src/cli/gr1.cpp b/src/cli/gr1.cpp
@@ -66,16 +66,6 @@ namespace Syft {
                                                  const SynthesisResult &result) const {
         if (result.realizability) {
             printer_.print_realizable();
-
-            // TODO
-            // // abstract single strategy
-            // Syft::Stopwatch abstract_single_strategy_time_stopwatch;
-            // abstract_single_strategy_time_stopwatch.start();
-            // auto transducer = abstract_single_strategy(result.winning_moves, var_mgr_, ...);
-            // auto abstract_single_strategy_time = abstract_single_strategy_time_stopwatch.stop();
-            // printer_.print_times_if_enabled("Abstract single strategy time", abstract_single_strategy_time);
-            // // dump strategy
-            // printer_.dump_transducer_if_enabled(*transducer, "strategy.dot");
         } else {
             printer_.print_unrealizable();
         }