From 12d9a5d66ea9d9b53d5d2b4f111e5522960cc924 Mon Sep 17 00:00:00 2001
From: Neea <neearusch@gmail.com>
Date: Mon, 8 May 2023 01:25:01 -0400
Subject: [PATCH] log #bounds

---
 pymwp/result.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pymwp/result.py b/pymwp/result.py
index 5ad17dc..ea9858b 100644
--- 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: