Add symbols to AIGER test inputs for ABC
[yosys.git] / tests / aiger / cnt1.aig
1 aig 1 0 1 0 0 1
2 3
3 2
4 b0 po0