From 96c5b56245c526b9373e0290cbc72191d475c12f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 27 Jun 2017 12:44:33 -0700 Subject: Not calling a changed API until it is fixed. --- src/aig/gia/giaSatEdge.c | 2 +- src/aig/gia/giaSatLE.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig') diff --git a/src/aig/gia/giaSatEdge.c b/src/aig/gia/giaSatEdge.c index 75f928ec..45d5b158 100644 --- a/src/aig/gia/giaSatEdge.c +++ b/src/aig/gia/giaSatEdge.c @@ -459,7 +459,7 @@ void Seg_ManComputeDelay( Gia_Man_t * pGia, int DelayInit, int nFanouts, int fTw sat_solver_set_runtime_limit( p->pSat, nTimeOut ? nTimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0 ); sat_solver_set_random( p->pSat, 1 ); sat_solver_set_polarity( p->pSat, Vec_IntArray(p->vPolars), Vec_IntSize(p->vPolars) ); - sat_solver_set_var_activity( p->pSat, NULL, p->nVars ); + //sat_solver_set_var_activity( p->pSat, NULL, p->nVars ); // increment delay gradually for ( Delay = p->DelayMax; Delay >= 0; Delay-- ) { diff --git a/src/aig/gia/giaSatLE.c b/src/aig/gia/giaSatLE.c index e6049322..04935f99 100644 --- a/src/aig/gia/giaSatLE.c +++ b/src/aig/gia/giaSatLE.c @@ -637,7 +637,7 @@ void Sle_ManDeriveCnf( Sle_Man_t * p, int nBTLimit, int fDynamic ) sat_solver_set_runtime_limit( p->pSat, nTimeOut ? nTimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0 ); sat_solver_set_random( p->pSat, 1 ); sat_solver_set_polarity( p->pSat, Vec_IntArray(p->vPolars), Vec_IntSize(p->vPolars) ); - sat_solver_set_var_activity( p->pSat, NULL, p->nVarsTotal ); + //sat_solver_set_var_activity( p->pSat, NULL, p->nVarsTotal ); // set drivers to be mapped Gia_ManForEachCoDriverId( p->pGia, iObj, i ) -- cgit v1.2.3