Output __const0__ and __const1__ CIs
authorEddie Hung <eddie@fpgeh.com>
Sat, 13 Apr 2019 01:16:25 +0000 (18:16 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sat, 13 Apr 2019 01:16:25 +0000 (18:16 -0700)
commitfe0b421212a17dae32cd30a09dc43c688a285f8c
tree549e07a51202e691b5a0effbeb96bebdd697627d
parentc776db3320594cd7e98167bffda7a9df631ac3a7
Output __const0__ and __const1__ CIs
backends/aiger/xaiger.cc