Skip to content

A
abc
Commit f899bae8 by Alan Mishchenko
Options

Added support for constraints in AIGER (bug fix).

parent 267f6116
Showing with 3 additions and 3 deletions
src/aig/gia/giaAiger.c
...@@ -737,9 +737,9 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck ...@@ -737,9 +737,9 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
{ {
int fBreakUsed = 0; int fBreakUsed = 0;
char * pCurOld = pCur; char * pCurOld = pCur;
pNew->vUserPiIds = Vec_IntStartFull( Gia_ManPiNum(pNew) ); pNew->vUserPiIds = Vec_IntStartFull( nInputs );
pNew->vUserPoIds = Vec_IntStartFull( Gia_ManPoNum(pNew) ); pNew->vUserPoIds = Vec_IntStartFull( nOutputs );
pNew->vUserFfIds = Vec_IntStartFull( Gia_ManRegNum(pNew) ); pNew->vUserFfIds = Vec_IntStartFull( nLatches );
while ( (char *)pCur < pContents + nFileSize && *pCur != 'c' ) while ( (char *)pCur < pContents + nFileSize && *pCur != 'c' )
{ {
int iTerm; int iTerm;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment