diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-01 08:37:14 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-01 08:37:14 +0200 |
| commit | 8246af894d77b52829d2470f7f5e726a52588aed (patch) | |
| tree | 81342223fed896aeedbabb6bc1ce6360e61bfaf2 /src/base/abci/abcExact.c | |
| parent | a7b244c5a978715f328db78aa4b8fac39c0bead2 (diff) | |
| download | abc-8246af894d77b52829d2470f7f5e726a52588aed.tar.gz abc-8246af894d77b52829d2470f7f5e726a52588aed.tar.bz2 abc-8246af894d77b52829d2470f7f5e726a52588aed.zip | |
Fixes in DelayCost and BuildNode.
Diffstat (limited to 'src/base/abci/abcExact.c')
| -rw-r--r-- | src/base/abci/abcExact.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index 99b44bce..1bfe6adb 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -1353,6 +1353,9 @@ int Abc_ExactDelayCost( word * pTruth, int nVars, int * pArrTimeProfile, char * /* some checks */ assert( nVars >= 2 && nVars <= 8 ); + if ( AigLevel < nMaxDepth ) + nMaxDepth = AigLevel; + timeStart = Abc_Clock(); *Cost = ABC_INFINITY; @@ -1404,7 +1407,7 @@ Abc_Obj_t * Abc_ExactBuildNode( word * pTruth, int nVars, int * pArrTimeProfile, char pGateTruth[5]; char * pSopCover; - Abc_Ntk_t * pNtk = NULL; /* need that to create node */ + Abc_Ntk_t * pNtk = Abc_ObjNtk( pFanins[0] ); pSol = Ses_StoreGetEntry( s_pSesStore, pTruth, nVars, pArrTimeProfile ); if ( !pSol ) |