diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-02 01:08:48 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-02 01:08:48 -0500 |
| commit | 12869de14b50bd33a2afe081337e6879e43e5595 (patch) | |
| tree | 6eff5d73be049873202994a788463a7291dadeb3 /src/aig/fra/fraCec.c | |
| parent | 5161978d05d3298d1f2212d88f81855220f352c8 (diff) | |
| download | abc-12869de14b50bd33a2afe081337e6879e43e5595.tar.gz abc-12869de14b50bd33a2afe081337e6879e43e5595.tar.bz2 abc-12869de14b50bd33a2afe081337e6879e43e5595.zip | |
Previusly forgotten debug printout.
Diffstat (limited to 'src/aig/fra/fraCec.c')
| -rw-r--r-- | src/aig/fra/fraCec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fraCec.c b/src/aig/fra/fraCec.c index 1c36ea62..4a74e94a 100644 --- a/src/aig/fra/fraCec.c +++ b/src/aig/fra/fraCec.c @@ -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 ); |