diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-10 08:01:00 -0700 |
| commit | 32314347bae6ddcd841a268e797ec4da45726abb (patch) | |
| tree | e2e5fd1711f04a06d0da2b8003bc02cb9a5dd446 /src/aig/ioa/ioaReadAig.c | |
| parent | c03f9b516bed2c06ec2bfc78617eba5fc9a11c32 (diff) | |
| download | abc-32314347bae6ddcd841a268e797ec4da45726abb.tar.gz abc-32314347bae6ddcd841a268e797ec4da45726abb.tar.bz2 abc-32314347bae6ddcd841a268e797ec4da45726abb.zip | |
Version abc90310
Diffstat (limited to 'src/aig/ioa/ioaReadAig.c')
| -rw-r--r-- | src/aig/ioa/ioaReadAig.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/aig/ioa/ioaReadAig.c b/src/aig/ioa/ioaReadAig.c index 11c866f4..b81414a5 100644 --- a/src/aig/ioa/ioaReadAig.c +++ b/src/aig/ioa/ioaReadAig.c @@ -341,6 +341,18 @@ Aig_Man_t * Ioa_ReadAiger( char * pFileName, int fCheck ) Aig_ManShortNames( pNew ); } */ + pCur = pSymbols; + if ( pCur + 1 < pContents + nFileSize && *pCur == 'c' ) + { + pCur++; + if ( *pCur == 'n' ) + { + pCur++; + // read model name + ABC_FREE( pNew->pName ); + pNew->pName = Aig_UtilStrsav( pCur ); + } + } // skipping the comments ABC_FREE( pContents ); |