diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-05 23:03:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-05 23:03:59 -0800 |
| commit | 241b042fdad4ef646400dab8bbc934d41e3d65df (patch) | |
| tree | acf5074fb671d90796f2f1455713718788d8cc92 | |
| parent | 1961f1791d06b1ee36773c8925bc7588e069cb3a (diff) | |
| download | abc-241b042fdad4ef646400dab8bbc934d41e3d65df.tar.gz abc-241b042fdad4ef646400dab8bbc934d41e3d65df.tar.bz2 abc-241b042fdad4ef646400dab8bbc934d41e3d65df.zip | |
Experiments with SAT-based cube enumeration.
| -rw-r--r-- | src/sat/bmc/bmcFx.c | 2 |
1 files changed, 1 insertions, 1 deletions
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++ ) |