From 5d2a2e74403550150257e41fc2fa0911fcc24d67 Mon Sep 17 00:00:00 2001
From: Heinz Riener <heinz.riener@gmail.com>
Date: Mon, 7 Dec 2020 10:59:53 +0100
Subject: [PATCH] warn if cut_limit exceeds the compile-time constant maximum
 number of cuts.

---
 include/mockturtle/algorithms/cut_enumeration.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/mockturtle/algorithms/cut_enumeration.hpp b/include/mockturtle/algorithms/cut_enumeration.hpp
index e8f3c6cd7..eb5ea77fb 100644
--- a/include/mockturtle/algorithms/cut_enumeration.hpp
+++ b/include/mockturtle/algorithms/cut_enumeration.hpp
@@ -296,6 +296,7 @@ class cut_enumeration_impl
         st( st ),
         cuts( cuts )
   {
+    assert( ps.cut_limit < cuts.max_cut_num && "cut_limit exceeds the compile-time limit for the maximum number of cuts" );
   }
 
 public: