projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge pull request #1035 from YosysHQ/eddie/opt_rmdff
[yosys.git] / tests / aiger / cnt1e.aig
1 aig 5 1 1 0 3 1
2 10
3 4
4 \ 1\ 2\ 4\ 2\ 1\ 2b0 AIGER_NEVER