diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-14 22:21:23 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-14 22:21:23 -0800 |
| commit | ac7e665bf69a504371f8e6204e83f4b9dbe96cb5 (patch) | |
| tree | 5c578b95d7a04897553d6d150600fe0323e3ebff /src/base/ver | |
| parent | c7e215ca3150ae54cb6232ef9749e2218e4ae096 (diff) | |
| download | abc-ac7e665bf69a504371f8e6204e83f4b9dbe96cb5.tar.gz abc-ac7e665bf69a504371f8e6204e83f4b9dbe96cb5.tar.bz2 abc-ac7e665bf69a504371f8e6204e83f4b9dbe96cb5.zip | |
Bug fixes in the Verilog parser.
Diffstat (limited to 'src/base/ver')
| -rw-r--r-- | src/base/ver/verCore.c | 2 | ||||
| -rw-r--r-- | src/base/ver/verParse.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index eb036620..d2744402 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -1098,6 +1098,8 @@ int Ver_ParseAssign( Ver_Man_t * pMan, Abc_Ntk_t * pNtk ) pWord = Ver_ParseGetName( pMan ); if ( pWord == NULL ) return 0; + if ( strcmp(pWord, "#1") == 0 ) + continue; // check for vector-inputs if ( !Ver_ParseLookupSuffix( pMan, pWord, &nMsb, &nLsb ) ) return 0; diff --git a/src/base/ver/verParse.c b/src/base/ver/verParse.c index 553d0348..c1ae1781 100644 --- a/src/base/ver/verParse.c +++ b/src/base/ver/verParse.c @@ -116,7 +116,7 @@ char * Ver_ParseGetName( Ver_Man_t * pMan ) } else pWord = Ver_StreamGetWord( p, " \t\n\r(),;" ); - if ( !Ver_ParseSkipComments( pMan ) ) + if ( Ver_StreamIsOkey(p) && !Ver_ParseSkipComments( pMan ) ) return NULL; return pWord; } |