write_xaiger: fix case of PI and CI and (* keep *)
authorEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 07:23:21 +0000 (23:23 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 07:23:21 +0000 (23:23 -0800)
commiteb7dd7d3741983fafe62b13c4a2d6a21ced06133
treeff78ff272819a0a3656f419660666df49ac0e95c
parent2c65e1abacc4401c4fd3e9b48f52c4de120bc511
write_xaiger: fix case of PI and CI and (* keep *)
backends/aiger/xaiger.cc