fixed wrong name for the synthesis timer

randriu · Apr 1, 2024 · 4897902 · 4897902
1 parent ae027d7
commit 4897902
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/paynt/synthesizer/synthesizer_ar_storm.py b/paynt/synthesizer/synthesizer_ar_storm.py
@@ -137,7 +137,7 @@ def synthesize_one(self, family):
                         self.storm_control.update_data()
                     logger.info("Pausing synthesis")
                     self.s_queue.get()
-                    self.stat.synthesis_time.stop()
+                    self.stat.synthesis_timer.stop()
                     # check for the signal that PAYNT can be resumed or terminated
                     while self.s_queue.empty():
                         sleep(1)
@@ -155,7 +155,7 @@ def synthesize_one(self, family):
                         # if Storm's result is not better continue with the synthesis normally
                         else:
                             logger.info("PAYNT's value is better. Prioritizing synthesis results")
-                        self.stat.synthesis_time.start()
+                        self.stat.synthesis_timer.start()
 
                     elif status == "terminate":
                         logger.info("Terminating controller synthesis")