Synchronizing packages.

This commit is contained in:
Alan Mishchenko 2014-09-20 16:41:11 -07:00
parent 2d4342f8c4
commit 76666174b4
1 changed files with 2 additions and 0 deletions

View File

@ -2450,6 +2450,7 @@ void Id_DsdManTuneStr1( If_DsdMan_t * p, char * pStruct, int nConfls, int fVerbo
Vec_WrdWriteEntry( p->vPerms, i, Perm );
}
p->nObjsPrev = 0;
p->LutSize = 0;
Extra_ProgressBarStop( pProgress );
printf( "Finished matching %d functions. ", Vec_PtrSize(&p->vObjs) );
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
@ -2650,6 +2651,7 @@ void Id_DsdManTuneStr( If_DsdMan_t * p, char * pStruct, int nConfls, int nProcs,
}
p->nObjsPrev = 0;
p->LutSize = 0;
Extra_ProgressBarStop( pProgress );
printf( "Finished matching %d functions. ", Vec_PtrSize(&p->vObjs) );
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );