diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-23 20:00:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-23 20:00:59 -0800 |
| commit | ab0014366924606ed32a5c8296b28f3f65c3e032 (patch) | |
| tree | de8cbc6dda34797a1107af89febbaaafaa5b52c7 | |
| parent | 9de629ff59172aba1c7dd55efb303bf41d2ad82c (diff) | |
| download | abc-ab0014366924606ed32a5c8296b28f3f65c3e032.tar.gz abc-ab0014366924606ed32a5c8296b28f3f65c3e032.tar.bz2 abc-ab0014366924606ed32a5c8296b28f3f65c3e032.zip | |
Bug fix in liberty parser.
| -rw-r--r-- | src/map/scl/sclLiberty.c | 6 |
1 files changed, 4 insertions, 2 deletions
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 ) |