From ab0014366924606ed32a5c8296b28f3f65c3e032 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 23 Nov 2013 20:00:59 -0800 Subject: Bug fix in liberty parser. --- src/map/scl/sclLiberty.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/map/scl/sclLiberty.c') diff --git a/src/map/scl/sclLiberty.c b/src/map/scl/sclLiberty.c index 7342a008..d86e154d 100644 --- a/src/map/scl/sclLiberty.c +++ b/src/map/scl/sclLiberty.c @@ -1093,9 +1093,9 @@ int Scl_LibertyComputeWorstCase( Vec_Ptr_t * vTables, Vec_Flt_t ** pvInd0, Vec_F vvalues = (Vec_Flt_t *)Vec_PtrEntry(vTables, i*3+2); // check equality of indexes if ( !Vec_FltEqual(vind0, vInd0) ) - return 0; + continue;//return 0; if ( !Vec_FltEqual(vind1, vInd1) ) - return 0; + continue;//return 0; // Vec_FltForEachEntry( vvalues, Entry, k ) // Vec_FltAddToEntry( vValues, k, Entry ); Vec_FltForEachEntry( vvalues, Entry, k ) @@ -1573,6 +1573,8 @@ SC_Lib * Abc_SclReadLiberty( char * pFileName, int fVerbose, int fVeryVerbose ) // collect relevant data vStr = Scl_LibertyReadSclStr( p, fVerbose, fVeryVerbose ); Scl_LibertyStop( p, fVeryVerbose ); + if ( vStr == NULL ) + return NULL; // construct SCL data-structure pLib = Abc_SclReadFromStr( vStr ); if ( pLib == NULL ) -- cgit v1.2.3