Open Flians opened 2 years ago
Thanks for reporting. This part of the code is not well tested but is not planned to be worked on either in the near future. I would suggest to either
dfs
as in the original experiment), orwhile(true)
into for(auto i=0; i<10; ++i)
) if you really want to use this option.
When I run
mig_algebraic_depth_rewriting_splitters
for c5315.v with the parameterselective
, I found that therun_selective
is endless.And while in mockturtle::buffer_insertion::optimize can be not finished:
Can you help me solve it?