(satlut) Error in window selection.

[boschmitt]

Trying to run the satlut experiments fails for benchmarks log2, multiplier, sqrt and voter. They all fail while computing windows, more specifically at:

Assertion failed: (false), function compute_window_for, file mockturtle/include/mockturtle/algorithms/cell_window.hpp, line 150.

Which seems to be checking if the size of the pivot mffc cone is grater the a maximum defined size for windows. Maybe the intended behaviour should be to simply ignore this window this as a pivot.