diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-10 10:50:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-10 10:50:33 -0700 |
| commit | 9fac6c7a8b150792b67c3daabf672137942103ee (patch) | |
| tree | d69721cefd0194b4f3f91bd03ca201ac9858cffd /src/aig/gia/giaAiger.c | |
| parent | fdc9e89d6643743c0d03b8c6c9cbf480f585c7ee (diff) | |
| download | abc-9fac6c7a8b150792b67c3daabf672137942103ee.tar.gz abc-9fac6c7a8b150792b67c3daabf672137942103ee.tar.bz2 abc-9fac6c7a8b150792b67c3daabf672137942103ee.zip | |
Experiments with CEC.
Diffstat (limited to 'src/aig/gia/giaAiger.c')
| -rw-r--r-- | src/aig/gia/giaAiger.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index fef5b6e4..593743d5 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -1513,7 +1513,7 @@ static inline void Aiger_WriteUnsigned( FILE * pFile, unsigned x ) } int * Aiger_Read( char * pFileName, int * pnObjs, int * pnIns, int * pnLats, int * pnOuts, int * pnAnds ) { - int i, Temp, nTotal, nObjs, nIns, nLats, nOuts, nAnds, * pObjs; + int i, Temp, Value = 0, nTotal, nObjs, nIns, nLats, nOuts, nAnds, * pObjs; FILE * pFile = fopen( pFileName, "rb" ); if ( pFile == NULL ) { @@ -1544,7 +1544,7 @@ int * Aiger_Read( char * pFileName, int * pnObjs, int * pnIns, int * pnLats, int for ( i = 0; i < nLats; i++ ) { while ( fgetc(pFile) != '\n' ); - fscanf( pFile, "%d", &Temp ); + Value += fscanf( pFile, "%d", &Temp ); pObjs[2*(nObjs-nLats+i)+0] = Temp; pObjs[2*(nObjs-nLats+i)+1] = Temp; } @@ -1552,10 +1552,11 @@ int * Aiger_Read( char * pFileName, int * pnObjs, int * pnIns, int * pnLats, int for ( i = 0; i < nOuts; i++ ) { while ( fgetc(pFile) != '\n' ); - fscanf( pFile, "%d", &Temp ); + Value += fscanf( pFile, "%d", &Temp ); pObjs[2*(nObjs-nOuts-nLats+i)+0] = Temp; pObjs[2*(nObjs-nOuts-nLats+i)+1] = Temp; } + assert( Value == nLats + nOuts ); // read the binary part while ( fgetc(pFile) != '\n' ); for ( i = 0; i < nAnds; i++ ) |