diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-01 19:03:39 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-01 19:03:39 -0800 |
commit | 73496629ec64f409cf504a805410b22164f59032 (patch) | |
tree | d2cc0b3938a7e1fca99182438c52320c0f401a7b /src/base | |
parent | e87869b737880dab9c35fccd810f66ca1aee10b1 (diff) | |
download | abc-73496629ec64f409cf504a805410b22164f59032.tar.gz abc-73496629ec64f409cf504a805410b22164f59032.tar.bz2 abc-73496629ec64f409cf504a805410b22164f59032.zip |
Several misc changes.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/acb/acbUtil.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index da0880f0..9e5c9457 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -680,7 +680,7 @@ int Acb_NtkExtract( char * pFileName0, char * pFileName1, int fVerbose, ***********************************************************************/ Vec_Int_t * Acb_NtkPlaces( char * pFileName, Vec_Ptr_t * vNames ) { - Vec_Int_t * vPlaces; int First = 1, Pos = -1; + Vec_Int_t * vPlaces; int First = 1, Pos = -1, fComment = 0; char * pTemp, * pBuffer = Extra_FileReadContents( pFileName ); char * pLimit = pBuffer + strlen(pBuffer); if ( pBuffer == NULL ) @@ -689,6 +689,13 @@ Vec_Int_t * Acb_NtkPlaces( char * pFileName, Vec_Ptr_t * vNames ) for ( pTemp = pBuffer; *pTemp; pTemp++ ) { if ( *pTemp == '\n' ) + fComment = 0; + if ( *pTemp == '/' && *(pTemp + 1) == '/' ) + fComment = 1; + if ( fComment ) + continue; + + if ( *pTemp == '\n' ) Pos = pTemp - pBuffer + 1; else if ( *pTemp == '(' ) { |