write_xaiger to treat unknown cell connections as keep-s
authorEddie Hung <eddie@fpgeh.com>
Wed, 3 Jul 2019 02:14:30 +0000 (19:14 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 3 Jul 2019 02:14:30 +0000 (19:14 -0700)
commit10524064e94b9fe21483092e2733b1b71ae60b4e
treed6817acea3472297c6eb4ff20c260e79ccbecff5
parent9c556e3c02a8b25fbcd764e019e3870d021684ec
write_xaiger to treat unknown cell connections as keep-s
backends/aiger/xaiger.cc