Bug fix in handling concurrency in "stochmap".

This commit is contained in:
Alan Mishchenko 2025-03-31 15:39:05 -07:00
parent dc72d1e120
commit 9cdbb79338
1 changed files with 1 additions and 1 deletions

View File

@ -1341,7 +1341,7 @@ Vec_Ptr_t * Abc_NtkStochProcess( Vec_Ptr_t * vWins, char * pScript, int nProcs,
StochSynData_t * pData = ABC_CALLOC( StochSynData_t, Vec_PtrSize(vWins) );
Vec_Ptr_t * vData = Vec_PtrAlloc( Vec_PtrSize(vWins) );
Abc_Ntk_t * pNtk; int i;
Abc_Random(1);
//Abc_Random(1);
Vec_PtrForEachEntry( Abc_Ntk_t *, vWins, pNtk, i ) {
pData[i].pIn = pNtk;
pData[i].pOut = NULL;