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");
};