From 54cdac73928c4df25f6af7d757f9c5ade4f918a7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 25 Mar 2015 01:00:16 +0700
Subject: Bug with in not property copying box info in &save/&load.

---
 src/misc/tim/timMan.c | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'src/misc/tim')

diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c
index 5ffd71de..87e7e0f3 100644
--- a/src/misc/tim/timMan.c
+++ b/src/misc/tim/timMan.c
@@ -143,8 +143,11 @@ Tim_Man_t * Tim_ManDup( Tim_Man_t * p, int fUnitDelay )
     {
         pNew->vBoxes = Vec_PtrAlloc( Tim_ManBoxNum(p) );
         Tim_ManForEachBox( p, pBox, i )
+        {
            Tim_ManCreateBox( pNew, pBox->Inouts[0], pBox->nInputs, 
                 pBox->Inouts[pBox->nInputs], pBox->nOutputs, pBox->iDelayTable );
+           Tim_ManBoxSetCopy( pNew, i, pBox->iCopy );
+        }
     }
     return pNew;
 }
@@ -611,6 +614,21 @@ void Tim_ManPrint( Tim_Man_t * p )
     }
     printf( "\n" );
 }
+void Tim_ManPrintBoxCopy( Tim_Man_t * p )
+{
+    Tim_Box_t * pBox;
+    int i;
+    if ( p == NULL )
+        return;
+    printf( "TIMING MANAGER:\n" );
+    printf( "PI = %d. CI = %d. PO = %d. CO = %d. Box = %d.\n", 
+        Tim_ManPiNum(p), Tim_ManCiNum(p), Tim_ManPoNum(p), Tim_ManCoNum(p), Tim_ManBoxNum(p) );
+
+    if ( Tim_ManBoxNum(p) > 0 )
+    Tim_ManForEachBox( p, pBox, i )
+        printf( "%d ", pBox->iCopy );
+    printf( "\n" );
+}
 
 /**Function*************************************************************
 
-- 
cgit v1.2.3