Cut_enumeration: cut_limit must not exceed maximum number of cuts.

[hriener]

Addresses issue #371.

[coveralls]

Pull Request Test Coverage Report for Build 405541110

• 1 of 1 (100.0%) changed or added relevant line in 1 file are covered.
• 3 unchanged lines in 1 file lost coverage.
• Overall coverage decreased (-0.02%) to 80.237%

---

Files with Coverage Reduction	New Missed Lines	%
include/mockturtle/algorithms/dsd_decomposition.hpp	3	87.5%

Totals
Change from base Build 393639221:	-0.02%
Covered Lines:	10308
Relevant Lines:	12847

---

💛 - Coveralls

[mfernan2]

Thanks!!

If I understand these values correctly, shouldn't the operator in the assertion be <= instead of <?