diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-06-27 12:44:33 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-06-27 12:44:33 -0700 |
commit | 96c5b56245c526b9373e0290cbc72191d475c12f (patch) | |
tree | d29f5394bfa9111d22dc68993b4b309f530ddcf9 /src/aig/gia/giaSatEdge.c | |
parent | 584d52ba85ad3cb725b52ca6a8a419e468e23400 (diff) | |
download | abc-96c5b56245c526b9373e0290cbc72191d475c12f.tar.gz abc-96c5b56245c526b9373e0290cbc72191d475c12f.tar.bz2 abc-96c5b56245c526b9373e0290cbc72191d475c12f.zip |
Not calling a changed API until it is fixed.
Diffstat (limited to 'src/aig/gia/giaSatEdge.c')
-rw-r--r-- | src/aig/gia/giaSatEdge.c | 2 |
1 files changed, 1 insertions, 1 deletions
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-- ) { |