diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-02-07 12:54:13 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-02-07 12:54:13 -0800 |
| commit | 59aea7639f87316ee9efb04a83309b7bb7888a8a (patch) | |
| tree | 2460760259a912784c7b5c3b1e9a94f038406101 /src/map/scl/sclLiberty.c | |
| parent | 02240391327b808f365e247afd77b2ae2a21d6ab (diff) | |
| download | abc-59aea7639f87316ee9efb04a83309b7bb7888a8a.tar.gz abc-59aea7639f87316ee9efb04a83309b7bb7888a8a.tar.bz2 abc-59aea7639f87316ee9efb04a83309b7bb7888a8a.zip | |
Bug fix in liberty parser and change suggested by Clifford.
Diffstat (limited to 'src/map/scl/sclLiberty.c')
| -rw-r--r-- | src/map/scl/sclLiberty.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/scl/sclLiberty.c b/src/map/scl/sclLiberty.c index 8900b9c4..2b2e77e9 100644 --- a/src/map/scl/sclLiberty.c +++ b/src/map/scl/sclLiberty.c @@ -1517,6 +1517,8 @@ Vec_Str_t * Scl_LibertyReadSclStr( Scl_Tree_t * p, int fVerbose, int fVeryVerbos Vec_StrPutS_( vOut, pFormula ); // write truth table vTruth = Mio_ParseFormulaTruth( pFormula, (char **)Vec_PtrArray(vNameIns), Vec_PtrSize(vNameIns) ); + if ( vTruth == NULL ) + return NULL; for ( i = 0; i < Abc_Truth6WordNum(Vec_PtrSize(vNameIns)); i++ ) Vec_StrPutW_( vOut, Vec_WrdEntry(vTruth, i) ); Vec_WrdFree( vTruth ); |