diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-05 16:56:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-05 16:56:10 -0700 |
| commit | f11f645f1d9edbcbbf32e7afdf648ea70070ea68 (patch) | |
| tree | 8abff7c2c411a00a1bf4843106a5acbc3557c3cd /src/misc/tim | |
| parent | 8f504907ee9a4f213a6400e32d0d599b8f5aaeb5 (diff) | |
| download | abc-f11f645f1d9edbcbbf32e7afdf648ea70070ea68.tar.gz abc-f11f645f1d9edbcbbf32e7afdf648ea70070ea68.tar.bz2 abc-f11f645f1d9edbcbbf32e7afdf648ea70070ea68.zip | |
Bug fix in loading the timing manager.
Diffstat (limited to 'src/misc/tim')
| -rw-r--r-- | src/misc/tim/timDump.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/misc/tim/timDump.c b/src/misc/tim/timDump.c index 8664202b..c7fb8861 100644 --- a/src/misc/tim/timDump.c +++ b/src/misc/tim/timDump.c @@ -110,6 +110,7 @@ Vec_Str_t * Tim_ManSave( Tim_Man_t * p ) Tim_Man_t * Tim_ManLoad( Vec_Str_t * p ) { Tim_Man_t * pMan; + Tim_Obj_t * pObj; int VerNum, nCis, nCos, nPis, nPos; int nBoxes, nBoxIns, nBoxOuts, CopyBox; int TableId, nTables, TableSize, TableX, TableY; @@ -174,6 +175,13 @@ Tim_Man_t * Tim_ManLoad( Vec_Str_t * p ) Vec_PtrPush( pMan->vDelayTables, pDelayTable ); } assert( Tim_ManDelayTableNum(pMan) == nTables ); + // read PI arrival times + Tim_ManForEachPi( pMan, pObj, i ) + Tim_ManInitPiArrival( pMan, i, Vec_StrGetF(p, &iStr) ); + // read PO required times + Tim_ManForEachPo( pMan, pObj, i ) + Tim_ManInitPoRequired( pMan, i, Vec_StrGetF(p, &iStr) ); + assert( Vec_StrSize(p) == iStr ); // Tim_ManPrint( pMan ); return pMan; } |