diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-22 18:31:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-22 18:31:46 -0700 |
| commit | d80efa1b49f5af926d0d07919034ab1b95b1ce78 (patch) | |
| tree | b8115c84dc62151dfa2709ee1ff1521a48a1b5d6 /src/base | |
| parent | 375b46a355608c119a7dc44eb78468d83e0809b9 (diff) | |
| download | abc-d80efa1b49f5af926d0d07919034ab1b95b1ce78.tar.gz abc-d80efa1b49f5af926d0d07919034ab1b95b1ce78.tar.bz2 abc-d80efa1b49f5af926d0d07919034ab1b95b1ce78.zip | |
Bug fix in if -g when choices are used.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 11707760..50abb6c7 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -504,7 +504,7 @@ Abc_Obj_t * Abc_NodeFromIf_rec( Abc_Ntk_t * pNtkNew, If_Man_t * pIfMan, If_Obj_t pNodeNew->pData = Kit_TruthToHop( (Hop_Man_t *)pNtkNew->pManFunc, (unsigned *)pTruth, If_CutLeaveNum(pCutBest), vCover ); } // complement the node if the cut was complemented - if ( pCutBest->fCompl ) + if ( pCutBest->fCompl && !pIfMan->pPars->fDelayOpt && !pIfMan->pPars->fDsdBalance ) Abc_NodeComplement( pNodeNew ); } else |