From 6f598455bcdf55bdd997bfeb82129d770f745e35 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 31 Mar 2015 16:27:07 +0700
Subject: Updating command &satfx.

---
 src/sat/bmc/bmcFx.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/sat/bmc')

diff --git a/src/sat/bmc/bmcFx.c b/src/sat/bmc/bmcFx.c
index 1d3a9802..5482dcd3 100644
--- a/src/sat/bmc/bmcFx.c
+++ b/src/sat/bmc/bmcFx.c
@@ -670,11 +670,9 @@ void Bmc_FxAddClauses( sat_solver * pSat, Vec_Int_t * vDivs, int iCiVarBeg, int
         else assert( 0 );
     }
 }
-int Bmc_FxComputeOne( Gia_Man_t * p )
+int Bmc_FxComputeOne( Gia_Man_t * p, int nIterMax, int nDiv2Add )
 {
     int Extra    = 1000;
-    int nIterMax =    5;
-    int nDiv2Add =   15;
     // create SAT solver
     Cnf_Dat_t * pCnf = Mf_ManGenerateCnf( p, 8, 0, 0, 0 );
     sat_solver * pSat = (sat_solver *)Cnf_DataWriteIntoSolver( pCnf, 1, 0 );
-- 
cgit v1.2.3