diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-17 17:51:13 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-17 17:51:13 -0800 |
commit | 3418a8820a4928d1b825001ec4c5c17a5ab2caba (patch) | |
tree | cd77589410fcfecc3654a7fdbe132aa761a95145 /src/aig | |
parent | cd4752b565b8ced81d1216ada390fcd024d8e143 (diff) | |
download | abc-3418a8820a4928d1b825001ec4c5c17a5ab2caba.tar.gz abc-3418a8820a4928d1b825001ec4c5c17a5ab2caba.tar.bz2 abc-3418a8820a4928d1b825001ec4c5c17a5ab2caba.zip |
Fixed a bug in matching code.
Diffstat (limited to 'src/aig')
-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 38bf73d9..6e655590 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 ); |