1 files changed, 20 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 0c39cae..53e1953 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -2132,6 +2132,7 @@ void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
         p->vOutReqs    = pGia->vOutReqs;    pGia->vOutReqs    = NULL;
         p->DefInArrs   = pGia->DefInArrs;
         p->DefOutReqs  = pGia->DefOutReqs;
+        p->And2Delay   = pGia->And2Delay;
     }
     if ( pGia->vNamesIn || pGia->vNamesOut )
     {
@@ -2231,7 +2232,7 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
 {
     extern void Gia_ManIffTest( Gia_Man_t * pGia, If_LibLut_t * pLib, int fVerbose );
     Gia_Man_t * pNew;
-    If_Man_t * pIfMan; int i, Entry;
+    If_Man_t * pIfMan; int i, Entry;//, Id, EntryF;
     assert( pPars->pTimesArr == NULL );
     assert( pPars->pTimesReq == NULL );
     if ( p->vCiArrs )
@@ -2241,6 +2242,15 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
         Vec_IntForEachEntry( p->vCiArrs, Entry, i )
             pPars->pTimesArr[i] = (float)Entry;
     }
+/*  // uncommenting this leads to a mysterious memory corruption 
+    else if ( p->vInArrs )
+    {
+        assert( Vec_FltSize(p->vInArrs) == Gia_ManCiNum(p) );
+        pPars->pTimesArr = ABC_CALLOC( float, Gia_ManCiNum(p));
+        Gia_ManForEachCiId( p, Id, i )
+            pPars->pTimesArr[i] = Vec_FltEntry(p->vInArrs, i);
+    }
+*/
     if ( p->vCoReqs )
     {
         assert( Vec_IntSize(p->vCoReqs) == Gia_ManCoNum(p) );
@@ -2248,6 +2258,15 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
         Vec_IntForEachEntry( p->vCoReqs, Entry, i )
             pPars->pTimesReq[i] = (float)Entry;
     }
+/*  // uncommenting this leads to a mysterious memory corruption 
+    else if ( p->vOutReqs )
+    {
+        assert( Vec_FltSize(p->vOutReqs) == Gia_ManCoNum(p) );
+        pPars->pTimesReq = ABC_CALLOC( float, Gia_ManCoNum(p) );
+        Vec_FltForEachEntry( p->vOutReqs, EntryF, i )
+            pPars->pTimesReq[i] = EntryF;
+    }
+*/
     ABC_FREE( p->pCellStr );
     Vec_IntFreeP( &p->vConfigs );
     // disable cut minimization when GIA strucure is needed