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: