write_xaiger to opt instead of just clean whiteboxes
authorEddie Hung <eddie@fpgeh.com>
Mon, 23 Dec 2019 16:35:53 +0000 (08:35 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 23 Dec 2019 16:35:53 +0000 (08:35 -0800)
commit6eadd4390a3c9650912bac9fbf8bd309f0088217
tree7cf8909c23d51f1d566fb17c3f03137a38808450
parentd3fc94405f14a96a91463f618908c5a51a491507
write_xaiger to opt instead of just clean whiteboxes
backends/aiger/xaiger.cc