From 6f4bb33ce14dd66b71e41bb71639a74a951a08b1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 13 Feb 2012 14:35:00 -0800
Subject: Variable timeframe abstraction.

---
 src/aig/gia/giaAbsVta.c    | 1 +
 src/aig/saig/saigGlaPba2.c | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/aig')

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
-- 
cgit v1.2.3