Merge remote-tracking branch 'origin/master' into xc7mux
[yosys.git] / tests / aiger / cnt1e.aig
1 aig 5 1 1 0 3 1
2 10
3 4
4 \ 1\ 2\ 4\ 2\ 1\ 2i0 po0
5 b0 AIGER_NEVER