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.
Trying to run the
satlutexperiments fails for benchmarkslog2,multiplier,sqrtandvoter. They all fail while computing windows, more specifically at:Which seems to be checking if the size of the
pivotmffc 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.