Get rid of holes_mode
authorEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 02:24:29 +0000 (18:24 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 04:15:09 +0000 (20:15 -0800)
commit7997e2a90fd37886241b7eb657408177ef7f6fa7
tree54ca752dca78cc8ce55ebdc2505525a2077b6880
parent0c4be94a02a70de495343258ecda19eb20b3616b
Get rid of holes_mode
backends/aiger/xaiger.cc