aiger: -xaiger to parse initial state back into (* init *) on Q wire
authorEddie Hung <eddie@fpgeh.com>
Mon, 13 Apr 2020 20:11:25 +0000 (13:11 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commit483a190c1b468b2a22fe7f2b92075953c6095f7d
treef439453bb5364abfc7f6a481fa9596141ded9088
parent77f3abcdc30e21b4359c2b07c20b63bdac5993bf
aiger: -xaiger to parse initial state back into (* init *) on Q wire
frontends/aiger/aigerparse.cc