luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Adding fflush() to make sure stdout responses appear on time.

This commit is contained in:
Alan Mishchenko 2015-02-20 12:16:17 -08:00
parent 746707b383
commit d33d66f46e
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/wlc/wlcStdin.c
View File

@ -210,6 +210,7 @@ int Wlc_StdinProcessSmt( Abc_Frame_t * pAbc, char * pCmd )
else if ( Abc_FrameReadProbStatus(pAbc) == 0 ) else if ( Abc_FrameReadProbStatus(pAbc) == 0 )
printf( "sat\n" ); printf( "sat\n" );
else assert( 0 ); else assert( 0 );
fflush( stdout );
// wait for stdin for give directions // wait for stdin for give directions
while ( (vInput = Wlc_StdinCollectQuery()) != NULL ) while ( (vInput = Wlc_StdinCollectQuery()) != NULL )
{ {
@ -240,6 +241,7 @@ int Wlc_StdinProcessSmt( Abc_Frame_t * pAbc, char * pCmd )
// report value of this variable // report value of this variable
Wlc_NtkReport( (Wlc_Ntk_t *)pAbc->pAbcWlc, Abc_FrameReadCex(pAbc), pName, 16 ); Wlc_NtkReport( (Wlc_Ntk_t *)pAbc->pAbcWlc, Abc_FrameReadCex(pAbc), pName, 16 );
Vec_StrFree( vInput ); Vec_StrFree( vInput );
fflush( stdout );
} }
return 1; return 1;
} }