ignore_boxes -> holes_mode
authorEddie Hung <eddie@fpgeh.com>
Fri, 19 Apr 2019 15:37:10 +0000 (08:37 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 19 Apr 2019 15:37:10 +0000 (08:37 -0700)
commit3544a7cd7b6b2595d25c56c5b1c3fbf6c9cccf7e
tree3fdf662c3ecae332be3e1cfc8d8a5503617bf3b4
parent2776925bcf04e67d1c33812e102d1195dca393bf
ignore_boxes -> holes_mode
backends/aiger/xaiger.cc