Improve logging message

quarkslab · May 16, 2024 · 6fabcd8 · 6fabcd8
1 parent 9766bd5
commit 6fabcd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tritondse/seeds_manager.py b/tritondse/seeds_manager.py
@@ -307,7 +307,7 @@ def _update_solve_stats(self, covitem: Optional[CovItem], status: SolverStatus,
         self._solv_time_sum += solving_time
         self._current_solv_time += solving_time
         self._solv_status[status] += count
-        logger.debug(f'Solve stats: solve_count={self._solv_count} solving_time={solving_time} solve_time_sum={self._solv_time_sum} current_solve_time={self._current_solv_time} solv_status={status} / {self._solv_status[status]}')
+        logger.debug(f'Solve stats: solve_count={self._solv_count} solving_time={solving_time:.3f} solve_time_sum={self._solv_time_sum:.3f} current_solve_time={self._current_solv_time:.3f} solv_status={status}/{self._solv_status[status]}')
 
         if covitem:
             if status == SolverStatus.SAT: