From 0fa4c868990596a6385debc94f09f3aa73c7832d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 6 Sep 2017 08:33:34 -0700 Subject: Small bug in a recently added Satoko API. --- src/sat/satoko/solver_api.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/sat/satoko/solver_api.c b/src/sat/satoko/solver_api.c index 975066a4..a0b26b5c 100644 --- a/src/sat/satoko/solver_api.c +++ b/src/sat/satoko/solver_api.c @@ -354,7 +354,7 @@ int satoko_solve_assumptions(solver_t *s, int * plits, int nlits) int satoko_solve_assumptions_limit(satoko_t *s, int * plits, int nlits, int nconflim) { int temp = s->opts.conf_limit, status; - s->opts.conf_limit = s->stats.n_conflicts + nconflim; + s->opts.conf_limit = nconflim ? s->stats.n_conflicts + nconflim : 0; status = satoko_solve_assumptions(s, plits, nlits); s->opts.conf_limit = temp; return status; -- cgit v1.2.3