summaryrefslogtreecommitdiffstats
path: root/src/map/scl
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-02-07 12:54:13 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2016-02-07 12:54:13 -0800
commit59aea7639f87316ee9efb04a83309b7bb7888a8a (patch)
tree2460760259a912784c7b5c3b1e9a94f038406101 /src/map/scl
parent02240391327b808f365e247afd77b2ae2a21d6ab (diff)
downloadabc-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')
-rw-r--r--src/map/scl/sclLiberty.c2
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 );