xaiger: when -dff use (* init *) for initial state
authorEddie Hung <eddie@fpgeh.com>
Mon, 13 Apr 2020 20:10:57 +0000 (13:10 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commit77f3abcdc30e21b4359c2b07c20b63bdac5993bf
tree130efc7c42657e53cb5f09f1a9dfa67decf90a33
parent95763c8d18eec49de3acff5d38a82f54cc25cb1b
xaiger: when -dff use (* init *) for initial state
backends/aiger/xaiger.cc