diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-27 14:17:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-27 14:17:12 -0700 |
| commit | 6c01e8b9f040d591f72882aff08ed21446fbb567 (patch) | |
| tree | 71f04dae22291d7321e5bb244462ab1145c47ee6 /src/aig/saig/saigBmc2.c | |
| parent | 1ec437d04b2fcb42054f068525c2a1b21b69fe53 (diff) | |
| download | abc-6c01e8b9f040d591f72882aff08ed21446fbb567.tar.gz abc-6c01e8b9f040d591f72882aff08ed21446fbb567.tar.bz2 abc-6c01e8b9f040d591f72882aff08ed21446fbb567.zip | |
Fixed a number of small bugs and memory leaks.
Diffstat (limited to 'src/aig/saig/saigBmc2.c')
| -rw-r--r-- | src/aig/saig/saigBmc2.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigBmc2.c b/src/aig/saig/saigBmc2.c index 9c36deb3..8e537142 100644 --- a/src/aig/saig/saigBmc2.c +++ b/src/aig/saig/saigBmc2.c @@ -751,7 +751,7 @@ int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax Aig_Man_t * pNew; Cnf_Dat_t * pCnf; int nOutsSolved = 0; - int Iter, RetValue, clk = clock(), clk2, clkTotal = clock(); + int Iter, RetValue = -1, clk = clock(), clk2, clkTotal = clock(); int Status = -1; /* Vec_Ptr_t * vSimInfo; @@ -801,9 +801,9 @@ int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax if ( nTimeOut && ((float)nTimeOut <= (float)(clock()-clkTotal)/(float)(CLOCKS_PER_SEC)) ) { printf( "Reached timeout (%d seconds).\n", nTimeOut ); - Saig_BmcManStop( p ); if ( piFrames ) *piFrames = p->iFrameLast-1; + Saig_BmcManStop( p ); return Status; } } |