Merge pull request #1035 from YosysHQ/eddie/opt_rmdff
[yosys.git] / tests / aiger / false.aig
1 aig 0 0 0 1 0
2 0