summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/gia')
-rw-r--r--src/aig/gia/giaAiger.c12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index f4979470..2604073b 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -525,7 +525,7 @@ Gia_Man_t * Gia_ReadAiger2( char * pFileName, int fCheck )
// read switching activity
pNew->pSwitching = Gia_ReadSwitching( &pCur, Gia_ManObjNum(pNew) );
}
- if ( *pCur == 'c' )
+ if ( *pCur == 't' )
{
pCur++;
// read number of constraints
@@ -730,7 +730,7 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
// read switching activity
pNew->pSwitching = Gia_ReadSwitching( &pCur, Gia_ManObjNum(pNew) );
}
- if ( *pCur == 'c' )
+ if ( *pCur == 't' )
{
pCur++;
// read number of constraints
@@ -820,7 +820,7 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
}
if ( *pCur != 'o' )
{
- fprintf( stdout, "Wrong terminal type.\n" );
+// fprintf( stdout, "Wrong terminal type.\n" );
fBreakUsed = 1;
break;
}
@@ -897,8 +897,8 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
Vec_IntFreeP( &vPoTypes );
}
- pNew = Gia_ManCleanup( pTemp = pNew );
- Gia_ManStop( pTemp );
+// pNew = Gia_ManCleanup( pTemp = pNew );
+// Gia_ManStop( pTemp );
return pNew;
}
@@ -1346,7 +1346,7 @@ void Gia_WriteAiger( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
{
unsigned char Buffer[10];
Gia_WriteInt( Buffer, p->nConstrs );
- fprintf( pFile, "c" );
+ fprintf( pFile, "t" );
fwrite( Buffer, 1, 4, pFile );
}
// write name