diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-23 18:44:07 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-23 18:44:07 -0700 |
commit | f1bc34689459b984f4b2bbb269a098d7016d7e99 (patch) | |
tree | ad537385630027a5b3ff1f621894965848349edf /src/base/abci | |
parent | a84c8174e73882f0cdd6433ca27b8222e87dbaa2 (diff) | |
download | abc-f1bc34689459b984f4b2bbb269a098d7016d7e99.tar.gz abc-f1bc34689459b984f4b2bbb269a098d7016d7e99.tar.bz2 abc-f1bc34689459b984f4b2bbb269a098d7016d7e99.zip |
Several bug-fixed related to synthesis, library handling, and timimg info.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abcRefactor.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcRefactor.c b/src/base/abci/abcRefactor.c index 4d0836f1..3cc6d793 100644 --- a/src/base/abci/abcRefactor.c +++ b/src/base/abci/abcRefactor.c @@ -169,6 +169,8 @@ Dec_Graph_t * Abc_NodeRefactor( Abc_ManRef_t * p, Abc_Obj_t * pNode, Vec_Ptr_t * clk = Abc_Clock(); pTruth = Abc_NodeConeTruth( p->vVars, p->vFuncs, nWordsMax, pNode, vFanins, p->vVisited ); p->timeTru += Abc_Clock() - clk; + if ( pTruth == NULL ) + return NULL; // always accept the case of constant node if ( Abc_NodeConeIsConst0(pTruth, nVars) || Abc_NodeConeIsConst1(pTruth, nVars) ) |