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