diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-17 23:57:02 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-17 23:57:02 -0800 |
| commit | 2fd746ed94940f02e2ccdfbba5a81672ed6773ba (patch) | |
| tree | 9f08c0bf6dea449cfcfae1cb5028725ed856de12 /src/aig/fra/fraCec.c | |
| parent | 2a236864ab0b9f96f917addc96ee7442abb09d9d (diff) | |
| download | abc-2fd746ed94940f02e2ccdfbba5a81672ed6773ba.tar.gz abc-2fd746ed94940f02e2ccdfbba5a81672ed6773ba.tar.bz2 abc-2fd746ed94940f02e2ccdfbba5a81672ed6773ba.zip | |
Removing debug print-outs from the SAT solver.
Diffstat (limited to 'src/aig/fra/fraCec.c')
| -rw-r--r-- | src/aig/fra/fraCec.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/fra/fraCec.c b/src/aig/fra/fraCec.c index 38bf73d9..c52f4308 100644 --- a/src/aig/fra/fraCec.c +++ b/src/aig/fra/fraCec.c @@ -147,7 +147,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi pMan->pData = Sat_Solver2GetModel( pSat, vCiIds->pArray, vCiIds->nSize ); } // free the sat_solver2 -// if ( fVerbose ) + if ( fVerbose ) Sat_Solver2PrintStats( stdout, pSat ); //sat_solver2_store_write( pSat, "trace.cnf" ); //sat_solver2_store_free( pSat ); @@ -253,7 +253,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi pMan->pData = Sat_SolverGetModel( pSat, vCiIds->pArray, vCiIds->nSize ); } // free the sat_solver -// if ( fVerbose ) + if ( fVerbose ) Sat_SolverPrintStats( stdout, pSat ); //sat_solver_store_write( pSat, "trace.cnf" ); //sat_solver_store_free( pSat ); |