From 4897902f97c73c0826ebb035f9ca8f9796396bcd Mon Sep 17 00:00:00 2001 From: Filip Macak Date: Mon, 1 Apr 2024 23:23:21 +0200 Subject: [PATCH] fixed wrong name for the synthesis timer --- paynt/synthesizer/synthesizer_ar_storm.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/paynt/synthesizer/synthesizer_ar_storm.py b/paynt/synthesizer/synthesizer_ar_storm.py index 29012d115..fb25afdaf 100644 --- 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")