diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-04-06 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-04-06 08:01:00 -0700 |
commit | 00dc0f3daab81e3a30b7fae3ec4f2c191fce114c (patch) | |
tree | 0db78ea60c485e8bc52886031edc9ab2a9dce2f6 /src/base/ver/verCore.c | |
parent | 028138a76eb74eee80f1d9592f43bdbe0d4c3d6c (diff) | |
download | abc-00dc0f3daab81e3a30b7fae3ec4f2c191fce114c.tar.gz abc-00dc0f3daab81e3a30b7fae3ec4f2c191fce114c.tar.bz2 abc-00dc0f3daab81e3a30b7fae3ec4f2c191fce114c.zip |
Version abc70406
Diffstat (limited to 'src/base/ver/verCore.c')
-rw-r--r-- | src/base/ver/verCore.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index 19889fc4..12c54dba 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -1203,6 +1203,12 @@ int Ver_ParseAssign( Ver_Man_t * pMan, Abc_Ntk_t * pNtk ) Vec_PtrPush( pMan->vNames, pEquation ); // get the buffer pFunc = (Hop_Obj_t *)Mio_LibraryReadBuf(Abc_FrameReadLibGen()); + if ( pFunc == NULL ) + { + sprintf( pMan->sError, "Reading assign statement for node %s has failed because the genlib library has no buffer.", Abc_ObjName(pNet) ); + Ver_ParsePrintErrorMessage( pMan ); + return 0; + } } } else @@ -1391,6 +1397,7 @@ int Ver_ParseGate( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Mio_Gate_t * pGate ) Ver_ParsePrintErrorMessage( pMan ); return 0; } + Ver_ParseSkipComments( pMan ); // start the node pNode = Abc_NtkCreateNode( pNtk ); |