diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 22:16:06 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 22:16:06 +0700 |
| commit | f899bae8f63c95c9f62c8b7519b88c0779c7e378 (patch) | |
| tree | b5181b871915b2ac40ad659849fbb8d8a1c82e51 | |
| parent | 267f61164aac2a22409fd89364f38e7b7082e7d8 (diff) | |
| download | abc-f899bae8f63c95c9f62c8b7519b88c0779c7e378.tar.gz abc-f899bae8f63c95c9f62c8b7519b88c0779c7e378.tar.bz2 abc-f899bae8f63c95c9f62c8b7519b88c0779c7e378.zip | |
Added support for constraints in AIGER (bug fix).
| -rw-r--r-- | src/aig/gia/giaAiger.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 453db141..a78ddf81 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -737,9 +737,9 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck { int fBreakUsed = 0; char * pCurOld = pCur; - pNew->vUserPiIds = Vec_IntStartFull( Gia_ManPiNum(pNew) ); - pNew->vUserPoIds = Vec_IntStartFull( Gia_ManPoNum(pNew) ); - pNew->vUserFfIds = Vec_IntStartFull( Gia_ManRegNum(pNew) ); + pNew->vUserPiIds = Vec_IntStartFull( nInputs ); + pNew->vUserPoIds = Vec_IntStartFull( nOutputs ); + pNew->vUserFfIds = Vec_IntStartFull( nLatches ); while ( (char *)pCur < pContents + nFileSize && *pCur != 'c' ) { int iTerm; |