diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-18 00:05:11 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-18 00:05:11 -0700 |
| commit | 96b784ecd7cc05f99e12d52f36437c9bd9eb2375 (patch) | |
| tree | be730d9a80266baf0b3f664e58b5ab32784703c5 /src/aig | |
| parent | 61ecc9c633d227160c720d6f0f611cf4e62a9602 (diff) | |
| download | abc-96b784ecd7cc05f99e12d52f36437c9bd9eb2375.tar.gz abc-96b784ecd7cc05f99e12d52f36437c9bd9eb2375.tar.bz2 abc-96b784ecd7cc05f99e12d52f36437c9bd9eb2375.zip | |
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaAiger.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 44b0d51a..19ea1447 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -780,6 +780,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS else { assert( Vec_IntEntry(vInits, i) == Abc_Var2Lit(Gia_ObjId(pNew, pObj), 0) ); + // unitialized value of the latch is the latch literal according to http://fmv.jku.at/hwmcc11/beyond1.pdf pInit[i] = 'X'; } } |