From 9faaf802f754181e303d2236e7a747c117aa93ac Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 18 Oct 2015 15:26:23 -0700 Subject: Additional improvements in 'satclp'. --- src/sat/bmc/bmcClp.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/sat') 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 -- cgit v1.2.3