Merge remote-tracking branch 'origin/master' into xc7mux
[yosys.git] / tests / aiger / notcnt1.aig
1 aig 1 0 1 0 0 1
2 3
3 3
4 b0 AIGER_NEVER