Merge branch 'master' of github.com:YosysHQ/yosys
[yosys.git] / tests / aiger / cnt1e.aag
1 aag 5 1 1 0 3 1
2 2
3 4 10
4 4
5 6 5 3
6 8 4 2
7 10 9 7
8 b0 AIGER_NEVER
9 i0 po0