Include output ports with constant driver in AIGER output
authorClifford Wolf <clifford@clifford.at>
Mon, 3 Jul 2017 12:53:17 +0000 (14:53 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 3 Jul 2017 12:53:17 +0000 (14:53 +0200)
commit287831dca36b1098165abd2381b35f81b2c0e312
tree11b4fde54c54cfdc83e4339e11c79d0a03cfa692
parentea805af6f53214a04d3fbae4b4906460cf16d87d
Include output ports with constant driver in AIGER output
backends/aiger/aiger.cc