diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-20 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-20 08:01:00 -0700 |
| commit | 2fd3c1a25bb7a7ce334d2de5bac96bce446855d8 (patch) | |
| tree | bf7cdb446399d47863e9b88f11217293b10ad6ad /src/temp/ivy/ivyTable.c | |
| parent | eb2a5b43a46b90f3c46b388f50ea0ca8918983aa (diff) | |
| download | abc-2fd3c1a25bb7a7ce334d2de5bac96bce446855d8.tar.gz abc-2fd3c1a25bb7a7ce334d2de5bac96bce446855d8.tar.bz2 abc-2fd3c1a25bb7a7ce334d2de5bac96bce446855d8.zip | |
Version abc60820
Diffstat (limited to 'src/temp/ivy/ivyTable.c')
| -rw-r--r-- | src/temp/ivy/ivyTable.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/temp/ivy/ivyTable.c b/src/temp/ivy/ivyTable.c index fe9c3570..2ac0ae49 100644 --- a/src/temp/ivy/ivyTable.c +++ b/src/temp/ivy/ivyTable.c @@ -167,7 +167,7 @@ void Ivy_TableUpdate( Ivy_Man_t * p, Ivy_Obj_t * pObj, int ObjIdNew ) return; pPlace = Ivy_TableFind( p, pObj ); assert( *pPlace == pObj->Id ); // node should be in the table - *pPlace = ObjIdNew; + *pPlace = ObjIdNew; } /**Function************************************************************* @@ -203,7 +203,7 @@ int Ivy_TableCountEntries( Ivy_Man_t * p ) void Ivy_TableResize( Ivy_Man_t * p ) { int * pTableOld, * pPlace; - int nTableSizeOld, Counter, e, clk; + int nTableSizeOld, Counter, nEntries, e, clk; clk = clock(); // save the old table pTableOld = p->pTable; @@ -224,7 +224,8 @@ clk = clock(); assert( *pPlace == 0 ); // should not be in the table *pPlace = pTableOld[e]; } - assert( Counter == Ivy_ManHashObjNum(p) ); + nEntries = Ivy_ManHashObjNum(p); +// assert( Counter == nEntries ); // printf( "Increasing the structural table size from %6d to %6d. ", nTableSizeOld, p->nTableSize ); // PRT( "Time", clock() - clk ); // replace the table and the parameters |