From 241b042fdad4ef646400dab8bbc934d41e3d65df Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 5 Mar 2015 23:03:59 -0800 Subject: Experiments with SAT-based cube enumeration. --- src/sat/bmc/bmcFx.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/sat/bmc/bmcFx.c b/src/sat/bmc/bmcFx.c index 4bf20bc9..d1ff16d0 100644 --- a/src/sat/bmc/bmcFx.c +++ b/src/sat/bmc/bmcFx.c @@ -558,7 +558,7 @@ int Bmc_FxCompute( Gia_Man_t * p ) int nOuts = Gia_ManCoNum(p); int nCiVars = Gia_ManCiNum(p), iCiVarBeg = pCnf->nVars - nCiVars;// - 1; int o, i, n, RetValue, nCounter, iAuxVarStart = sat_solver_nvars( pSat ); - int nCubes[2][2] = {0}; + int nCubes[2][2] = {{0}}; // create variables Vec_Int_t * vVars = Vec_IntAlloc( nCiVars ); for ( n = 0; n < nCiVars; n++ ) -- cgit v1.2.3