write_xaiger: holes PIs only if whitebox
authorEddie Hung <eddie@fpgeh.com>
Wed, 8 Jan 2020 23:40:37 +0000 (15:40 -0800)
committerEddie Hung <eddie@fpgeh.com>
Wed, 8 Jan 2020 23:40:37 +0000 (15:40 -0800)
commit5f7349f26d814b8bf32a0e532b6f0fbacedcae90
treea35b021e5f9e593804ac536f221fd9c900d97b49
parent6e3e81402520b854eb5879964adc3434fefd3f51
write_xaiger: holes PIs only if whitebox
backends/aiger/xaiger.cc