Closed phyzhenli closed 1 year ago
This is because sequential
was developed after the implementations of those algorithms. In fact, support of sequential networks in mockturtle is currently fairly limited, as our developers do not have actual use case in that matter.
These specific combinations of interfaces, views, and algorithms are not tested because they are not of interest or in a top priority to us, but it doesn't mean that they will not work. As many mockturtle algorithms are designed to be generic, it is possible that the aforementioned combinations will work smoothly without problems. We welcome, of course, external contributions of special-case fixes or tests if they make sense.
Describe the bug Hi~ I checked the test folder and found that the optimization commands (e.g. balancing, cut_rewrite, and etc.) are not tested for names_view<sequential> except for the >? Thanks!
cleanup
command, is it because these commands do not currently support optimization for names_view<sequentialTo Reproduce Steps to reproduce the behavior:
mockturtle
(commit or PR number) are you using? (Preferably the latest, unless there are special reasons.) Commits on Dec 22, 2022main
). N/AEnvironment
Additional context Add any other context about the problem here. N/A
Check list