Experiments with simulation.

This commit is contained in:
Alan Mishchenko 2014-03-14 21:55:49 -07:00
parent 3f7cfde14b
commit c7c3aa3f2d
1 changed files with 1 additions and 1 deletions

View File

@ -213,7 +213,7 @@ void * Gia_ParWorkerThread( void * pArg )
unsigned Counter = 0; unsigned Counter = 0;
while ( 1 ) while ( 1 )
{ {
while ( pThData->Status == 0 ); while ( pThData->Status == 0 )
printf( "" ); printf( "" );
assert( pThData->Status == 1 ); assert( pThData->Status == 1 );
if ( pThData->Id == -1 ) if ( pThData->Id == -1 )