diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-31 14:59:47 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-31 14:59:47 -0500 |
| commit | 868a1b9aeb2bf825a68c37c530107efe72d50d5d (patch) | |
| tree | 872e030d59ce89d595812f1c8ae4e776905d3112 /src/sat/pdr | |
| parent | f08be2742e892b7b81f234785cbbae85c61ab024 (diff) | |
| download | abc-868a1b9aeb2bf825a68c37c530107efe72d50d5d.tar.gz abc-868a1b9aeb2bf825a68c37c530107efe72d50d5d.tar.bz2 abc-868a1b9aeb2bf825a68c37c530107efe72d50d5d.zip | |
Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.
Diffstat (limited to 'src/sat/pdr')
| -rw-r--r-- | src/sat/pdr/pdrCore.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/pdr/pdrCore.c b/src/sat/pdr/pdrCore.c index 04caba1e..e3c3781f 100644 --- a/src/sat/pdr/pdrCore.c +++ b/src/sat/pdr/pdrCore.c @@ -514,7 +514,7 @@ int Pdr_ManBlockCube( Pdr_Man_t * p, Pdr_Set_t * pCube ) } // check the timeout - if ( p->timeToStop && clock() >= p->timeToStop ) + if ( p->timeToStop && time(NULL) > p->timeToStop ) return -1; } return 1; @@ -538,7 +538,7 @@ int Pdr_ManSolveInt( Pdr_Man_t * p ) int k, RetValue = -1; int clkTotal = clock(); int clkStart = clock(); - p->timeToStop = (p->pPars->nTimeOut == 0) ? 0 : clock() + (CLOCKS_PER_SEC * p->pPars->nTimeOut); + p->timeToStop = p->pPars->nTimeOut ? time(NULL) + p->pPars->nTimeOut : 0; assert( Vec_PtrSize(p->vSolvers) == 0 ); // create the first timeframe Pdr_ManCreateSolver( p, (k = 0) ); @@ -619,7 +619,7 @@ int Pdr_ManSolveInt( Pdr_Man_t * p ) } // check the timeout - if ( p->timeToStop && clock() >= p->timeToStop ) + if ( p->timeToStop && time(NULL) > p->timeToStop ) { if ( fPrintClauses ) { |