diff options
Diffstat (limited to 'src/sat/msat/msatSolverCore.c')
| -rw-r--r-- | src/sat/msat/msatSolverCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/msat/msatSolverCore.c b/src/sat/msat/msatSolverCore.c index 92311e48..ed228b33 100644 --- a/src/sat/msat/msatSolverCore.c +++ b/src/sat/msat/msatSolverCore.c @@ -176,7 +176,7 @@ bool Msat_SolverSolve( Msat_Solver_t * p, Msat_IntVec_t * vAssumps, int nBackTra if ( nBackTrackLimit > 0 ) break; // if the runtime limit is exceeded, quit the restart loop - if ( clock() - timeStart >= nTimeLimit * CLOCKS_PER_SEC ) + if ( nTimeLimit > 0 && clock() - timeStart >= nTimeLimit * CLOCKS_PER_SEC ) break; } Msat_SolverCancelUntil( p, 0 ); |