diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:59 -0700 |
| commit | da65e88e3b346bcd70198b980e918ea9f1e11b4e (patch) | |
| tree | ce660cd8d798ddd41787322db32e6ae21b2ceb11 /src/aig/cec/cecSolve.c | |
| parent | 270f6db24625e4838dcafe7d45e69cc9522d703e (diff) | |
| download | abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.tar.gz abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.tar.bz2 abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.zip | |
Version abc90804
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/aig/cec/cecSolve.c')
| -rw-r--r-- | src/aig/cec/cecSolve.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/cec/cecSolve.c b/src/aig/cec/cecSolve.c index 1aaf54ff..fa10d222 100644 --- a/src/aig/cec/cecSolve.c +++ b/src/aig/cec/cecSolve.c @@ -718,7 +718,7 @@ clk2 = clock(); pPat->timeTotalSave += clock() - clk3; } // quit if one of them is solved - if ( pPars->fFirstStop ) + if ( pPars->fCheckMiter ) break; } p->timeTotal = clock() - clk; @@ -810,12 +810,12 @@ Vec_Str_t * Cec_ManSatSolveSeq( Vec_Ptr_t * vPatts, Gia_Man_t * pAig, Cec_ParSat { if ( Gia_ObjFaninC0(pObj) ) { - printf( "Constant 1 output of SRM!!!\n" ); +// printf( "Constant 1 output of SRM!!!\n" ); Vec_StrPush( vStatus, 0 ); } else { - printf( "Constant 0 output of SRM!!!\n" ); +// printf( "Constant 0 output of SRM!!!\n" ); Vec_StrPush( vStatus, 1 ); } continue; |