diff options
Diffstat (limited to 'src/sat/bsat/satSolver.h')
| -rw-r--r-- | src/sat/bsat/satSolver.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index e5ea1ba5..50a4727c 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -160,7 +160,7 @@ struct sat_solver_t ABC_INT64_T nConfLimit; // external limit on the number of conflicts ABC_INT64_T nInsLimit; // external limit on the number of implications - clock_t nRuntimeLimit; // external limit on runtime + abctime nRuntimeLimit; // external limit on runtime veci act_vars; // variables whose activity has changed double* factors; // the activity factors @@ -223,9 +223,9 @@ static int sat_solver_final(sat_solver* s, int ** ppArray) return s->conf_final.size; } -static clock_t sat_solver_set_runtime_limit(sat_solver* s, clock_t Limit) +static abctime sat_solver_set_runtime_limit(sat_solver* s, abctime Limit) { - clock_t nRuntimeLimit = s->nRuntimeLimit; + abctime nRuntimeLimit = s->nRuntimeLimit; s->nRuntimeLimit = Limit; return nRuntimeLimit; } |