diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-18 15:26:23 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-18 15:26:23 -0700 |
commit | 9faaf802f754181e303d2236e7a747c117aa93ac (patch) | |
tree | b8c0fa483938533c94590a40f4279614fba0f8db | |
parent | 69df5462cb8f3b013537d48d3c47c1d4b5c533fd (diff) | |
download | abc-9faaf802f754181e303d2236e7a747c117aa93ac.tar.gz abc-9faaf802f754181e303d2236e7a747c117aa93ac.tar.bz2 abc-9faaf802f754181e303d2236e7a747c117aa93ac.zip |
Additional improvements in 'satclp'.
-rw-r--r-- | src/sat/bmc/bmcClp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcClp.c b/src/sat/bmc/bmcClp.c index d5610840..79e96b50 100644 --- a/src/sat/bmc/bmcClp.c +++ b/src/sat/bmc/bmcClp.c @@ -480,7 +480,7 @@ Vec_Str_t * Bmc_CollapseOne( Gia_Man_t * p, int nCubeLim, int nBTLimit, int fCan Vec_Int_t * vNums = Vec_IntAlloc( nVars ); Vec_Int_t * vCube = Vec_IntAlloc( nVars ); int n, v, iVar, iLit, iCiVarBeg, iCube, Start, status; - abctime clk, Time[2][2] = {{0}}; + abctime clk = 0, Time[2][2] = {{0}}; int fComplete[2] = {0}; // collect CI variables |