Fix abc9 with (* keep *) wires
authorEddie Hung <eddie@fpgeh.com>
Tue, 23 Apr 2019 23:11:14 +0000 (16:11 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 23 Apr 2019 23:11:14 +0000 (16:11 -0700)
commitbfd71e09906096c72039beebb1b3b6a79dd6b36c
tree99304bae98b5c9f462683c77ffcc53f1ca5a5076
parent9d122d3c51575fe6803729e8f953141edb3b12c3
Fix abc9 with (* keep *) wires
backends/aiger/xaiger.cc
tests/simple_abc9/abc9.v