From df3e23ae3a20d0f6b8a1d3512e322b98057eb136 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 12 Nov 2011 17:50:41 -0800 Subject: Enabled skipping random decisions in PBA, which are performed by default. --- src/aig/saig/saigGlaCba.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/saig/saigGlaCba.c') diff --git a/src/aig/saig/saigGlaCba.c b/src/aig/saig/saigGlaCba.c index d0fd2db3..9140c7bf 100644 --- a/src/aig/saig/saigGlaCba.c +++ b/src/aig/saig/saigGlaCba.c @@ -676,7 +676,7 @@ void Aig_Gla1ExtendIncluded( Aig_Gla1Man_t * p ) SeeAlso [] ***********************************************************************/ -Vec_Int_t * Aig_Gla1ManTest( Aig_Man_t * pAig, Vec_Int_t * vGateClassesOld, int nStart, int nFramesMax, int nConfLimit, int TimeLimit, int fNaiveCnf, int fVerbose ) +Vec_Int_t * Aig_Gla1ManPerform( Aig_Man_t * pAig, Vec_Int_t * vGateClassesOld, int nStart, int nFramesMax, int nConfLimit, int TimeLimit, int fNaiveCnf, int fVerbose ) { Vec_Int_t * vResult = NULL; Aig_Gla1Man_t * p; -- cgit v1.2.3