luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
yosys/tests/aiger/cnt1e.aag

10 lines
66 B
Plaintext
Raw Permalink Normal View History

Add tests
2019-02-05 01:46:24 +01:00
aag 5 1 1 0 3 1
2
4 10
4
6 5 3
8 4 2
10 9 7
b0 AIGER_NEVER
Add symbols to AIGER test inputs for ABC
2019-06-07 20:05:25 +02:00
i0 po0