diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 14:35:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 14:35:00 -0800 |
commit | 6f4bb33ce14dd66b71e41bb71639a74a951a08b1 (patch) | |
tree | bda4b7a8e578a595b538bccbf5ebdfb92ea9d8a9 /src/aig | |
parent | f80841a5fdfe3cb60c72be11eb89116f27334a9e (diff) | |
download | abc-6f4bb33ce14dd66b71e41bb71639a74a951a08b1.tar.gz abc-6f4bb33ce14dd66b71e41bb71639a74a951a08b1.tar.bz2 abc-6f4bb33ce14dd66b71e41bb71639a74a951a08b1.zip |
Variable timeframe abstraction.
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaAbsVta.c | 1 | ||||
-rw-r--r-- | src/aig/saig/saigGlaPba2.c | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index b373fd27..9c50ae52 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1402,6 +1402,7 @@ int Gia_VtaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) assert( pPars->nFramesMax == 0 || pPars->nFramesStart <= pPars->nFramesMax ); // start the manager p = Vga_ManStart( pAig, pPars ); + p->pSat->fVerbose = p->pPars->fVerbose; sat_solver2_set_learntmax( p->pSat, pPars->nLearntMax ); // set runtime limit if ( p->pPars->nTimeOut ) diff --git a/src/aig/saig/saigGlaPba2.c b/src/aig/saig/saigGlaPba2.c index 55aa0a3d..4fa0012d 100644 --- a/src/aig/saig/saigGlaPba2.c +++ b/src/aig/saig/saigGlaPba2.c @@ -516,7 +516,7 @@ Vec_Int_t * Aig_Gla3ManPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, in Aig_Gla3ManStop( p ); return NULL; } - sat_solver2_set_random( p->pSat, fSkipRand ); + p->pSat->fNotUseRandom = fSkipRand; p->timePre += clock() - clk; // set runtime limit |