log #bounds

statycc · May 8, 2023 · 12d9a5d · 12d9a5d
1 parent 9cd99e5
commit 12d9a5d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pymwp/result.py b/pymwp/result.py
@@ -192,6 +192,7 @@ def add_relation(self, func_result: FuncResult) -> None:
         if not func_result.infinite:
             if func_result.bound:
                 logger.info(f'Bound: {Bound.show_poly(func_result.bound)}')
+                logger.info(f'Bounds: {func_result.n_bounds}')
             else:
                 logger.info('Some bound exists')
         if func_result.infinite: