From f11f645f1d9edbcbbf32e7afdf648ea70070ea68 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 5 Oct 2012 16:56:10 -0700 Subject: Bug fix in loading the timing manager. --- src/misc/tim/timDump.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/misc/tim') 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; } -- cgit v1.2.3