From f899bae8f63c95c9f62c8b7519b88c0779c7e378 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 20 Jul 2011 22:16:06 +0700 Subject: Added support for constraints in AIGER (bug fix). --- src/aig/gia/giaAiger.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/aig/gia') 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; -- cgit v1.2.3