Integrating sweeping information.

src/aig/gia/giaSweep.c

@@ -298,7 +298,7 @@ Gia_Man_t * Gia_ManFraigSweep( Gia_Man_t * p, void * pPars )
         printf( "Timing manager is given but there is no GIA of boxes.\n" );
         return NULL;
     }
-    // ordering AIG objects
+    // order AIG objects
     pNew = Gia_ManDupUnnormalize( p );
     if ( pNew == NULL )
         return NULL;

src/misc/tim/timMan.c

@@ -221,6 +221,7 @@ Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres )
             if ( Vec_IntEntry(vBoxPres, i) )
             {
                 Tim_ManCreateBox( pNew, curPo, pBox->nInputs, curPi, pBox->nOutputs, pBox->iDelayTable );
+                Tim_ManBoxSetCopy( pNew, Tim_ManBoxNum(pNew) - 1, i );
                 curPi += pBox->nOutputs;
                 curPo += pBox->nInputs;
             }