From 8246af894d77b52829d2470f7f5e726a52588aed Mon Sep 17 00:00:00 2001
From: Mathias Soeken <mathias.soeken@epfl.ch>
Date: Mon, 1 Aug 2016 08:37:14 +0200
Subject: Fixes in DelayCost and BuildNode.

---
 src/base/abci/abcExact.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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 )
-- 
cgit v1.2.3