Blame · frontends/read_aiger_error/aiger_ff2.aiger · d3210b8ae1982fb1d1f1e44a8704fdce26a139bd · lvzhengyang / yosys-tests · GitLab

Normal view History Permalink

aiger_ff2.aiger 58 Bytes

Newer Older

Add tests for error messages to 'frontends' group

committed 5 years ago

1 2 3 4 5 6 7 8 9 10

aag 7 2 1 2 4 a
2
4
6 8
6
7
8 4 10
10 13 15
12 2 6
14 3 7