diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 19:06:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 19:06:18 -0700 |
| commit | 102782a5a1cd9e9a59b87810e04d78b838976ae1 (patch) | |
| tree | 332163dc8214543124019a15f30565cd5fbd0718 | |
| parent | c05aa7a8d2a78061bed22a4fd0be5cb88a4abadf (diff) | |
| download | abc-102782a5a1cd9e9a59b87810e04d78b838976ae1.tar.gz abc-102782a5a1cd9e9a59b87810e04d78b838976ae1.tar.bz2 abc-102782a5a1cd9e9a59b87810e04d78b838976ae1.zip | |
Adding CEC command &splitprove.
| -rw-r--r-- | src/proof/cec/cecSplit.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/proof/cec/cecSplit.c b/src/proof/cec/cecSplit.c index 62b8f1a4..4a502895 100644 --- a/src/proof/cec/cecSplit.c +++ b/src/proof/cec/cecSplit.c @@ -369,6 +369,7 @@ void Cec_GiaSplitPrint( int nIter, int Depth, int nVars, int nConfs, int fStatus printf( "Solved %8.4f %% ", 100*Prog ); Abc_PrintTime( 1, "Time", clk ); //ABC_PRTr( "Time", Abc_Clock()-clk ); + fflush( stdout ); } void Cec_GiaSplitPrintRefs( Gia_Man_t * p ) { @@ -498,6 +499,7 @@ int Cec_GiaSplitTest2( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, in else assert( 0 ); printf( "after %d case-splits. ", nIter ); Abc_PrintTime( 1, "Time", Abc_Clock() - clkTotal ); + fflush( stdout ); return RetValue; } @@ -559,6 +561,7 @@ int Cec_GiaSplitTest( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, int printf( "Solving CEC problem by cofactoring with the following parameters:\n" ); if ( fVerbose ) printf( "Processes = %d TimeOut = %d sec MaxIter = %d LookAhead = %d Verbose = %d.\n", nProcs, nTimeOut, nIterMax, LookAhead, fVerbose ); + fflush( stdout ); if ( nProcs == 1 ) return Cec_GiaSplitTest2( p, nProcs, nTimeOut, nIterMax, LookAhead, fVerbose ); // subtract manager thread @@ -695,6 +698,7 @@ finish: else assert( 0 ); printf( "after %d case-splits. ", nIter ); Abc_PrintTime( 1, "Time", Abc_Clock() - clkTotal ); + fflush( stdout ); return RetValue; } |