summaryrefslogtreecommitdiffstats
path: root/src/opt/mfs
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2009-04-13 08:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2009-04-13 08:01:00 -0700
commit77fab468ad32d15de5c065c211f6f74371670940 (patch)
tree2a39a0480942bb597048513f72b2a23b0fcacde8 /src/opt/mfs
parentccd1b57264d3bf1514410747cdcf6e4731ac7f2a (diff)
downloadabc-77fab468ad32d15de5c065c211f6f74371670940.tar.gz
abc-77fab468ad32d15de5c065c211f6f74371670940.tar.bz2
abc-77fab468ad32d15de5c065c211f6f74371670940.zip
Version abc90413
Diffstat (limited to 'src/opt/mfs')
-rw-r--r--src/opt/mfs/mfsInter.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/opt/mfs/mfsInter.c b/src/opt/mfs/mfsInter.c
index 8fc30056..9cacd021 100644
--- a/src/opt/mfs/mfsInter.c
+++ b/src/opt/mfs/mfsInter.c
@@ -332,6 +332,7 @@ Hop_Obj_t * Abc_NtkMfsInterplate( Mfs_Man_t * p, int * pCands, int nCands )
Hop_Obj_t * pFunc;
int nFanins, status;
int c, i, * pGloVars;
+// int clk = clock();
// p->nDcMints += Abc_NtkMfsInterplateEval( p, pCands, nCands );
@@ -345,6 +346,8 @@ Hop_Obj_t * Abc_NtkMfsInterplate( Mfs_Man_t * p, int * pCands, int nCands )
p->nTimeOuts++;
return NULL;
}
+//printf( "%d\n", pSat->stats.conflicts );
+// ABC_PRT( "S", clock() - clk );
// get the learned clauses
pCnf = sat_solver_store_release( pSat );
sat_solver_delete( pSat );