diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-20 12:16:17 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-20 12:16:17 -0800 |
| commit | d33d66f46e055e9ba539de42e26b9b5a46a3fbed (patch) | |
| tree | f43d67e23f10982bac53e03ce4f4e4de62e18a98 | |
| parent | 746707b383e97800b9f0f60bb0a43fd8990564dc (diff) | |
| download | abc-d33d66f46e055e9ba539de42e26b9b5a46a3fbed.tar.gz abc-d33d66f46e055e9ba539de42e26b9b5a46a3fbed.tar.bz2 abc-d33d66f46e055e9ba539de42e26b9b5a46a3fbed.zip | |
Adding fflush() to make sure stdout responses appear on time.
| -rw-r--r-- | src/base/wlc/wlcStdin.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlcStdin.c b/src/base/wlc/wlcStdin.c index fa2a3217..353cbb3e 100644 --- a/src/base/wlc/wlcStdin.c +++ b/src/base/wlc/wlcStdin.c @@ -210,6 +210,7 @@ int Wlc_StdinProcessSmt( Abc_Frame_t * pAbc, char * pCmd ) else if ( Abc_FrameReadProbStatus(pAbc) == 0 ) printf( "sat\n" ); else assert( 0 ); + fflush( stdout ); // wait for stdin for give directions while ( (vInput = Wlc_StdinCollectQuery()) != NULL ) { @@ -240,6 +241,7 @@ int Wlc_StdinProcessSmt( Abc_Frame_t * pAbc, char * pCmd ) // report value of this variable Wlc_NtkReport( (Wlc_Ntk_t *)pAbc->pAbcWlc, Abc_FrameReadCex(pAbc), pName, 16 ); Vec_StrFree( vInput ); + fflush( stdout ); } return 1; } |