From 8ff4036f68876942dacf111614a9477785eb316c Mon Sep 17 00:00:00 2001 From: stormckey Date: Thu, 17 Oct 2024 01:23:13 +0800 Subject: [PATCH] update unit_lim to the correct value (#7423) Co-authored-by: stormckey --- src/smt/smt_parallel.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp index 17abe66be88..ccbefa69e3c 100644 --- a/src/smt/smt_parallel.cpp +++ b/src/smt/smt_parallel.cpp @@ -134,7 +134,7 @@ namespace smt { dst = tr(unit_trail.get(j)); pctx.assert_expr(dst); } - unit_lim[i] = sz; + unit_lim[i] = pctx.assigned_literals().size(); } IF_VERBOSE(1, verbose_stream() << "(smt.thread :units " << sz << ")\n"); };