Output "h" extension only if boxes
authorEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 18:31:18 +0000 (11:31 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 18:31:18 +0000 (11:31 -0700)
commit399ac760ff2bf4a7d438ed388820e7bfb511de6b
tree77071ac634a5b38d4f2724055e6b6032882cb98e
parent8f0c1232d7c511a6473f4581e4c27a90088cedb7
Output "h" extension only if boxes
backends/aiger/xaiger.cc