summaryrefslogtreecommitdiffstats
path: root/src/base/ver
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2007-04-06 08:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2007-04-06 08:01:00 -0700
commit00dc0f3daab81e3a30b7fae3ec4f2c191fce114c (patch)
tree0db78ea60c485e8bc52886031edc9ab2a9dce2f6 /src/base/ver
parent028138a76eb74eee80f1d9592f43bdbe0d4c3d6c (diff)
downloadabc-00dc0f3daab81e3a30b7fae3ec4f2c191fce114c.tar.gz
abc-00dc0f3daab81e3a30b7fae3ec4f2c191fce114c.tar.bz2
abc-00dc0f3daab81e3a30b7fae3ec4f2c191fce114c.zip
Version abc70406
Diffstat (limited to 'src/base/ver')
-rw-r--r--src/base/ver/verCore.c7
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 );