11 lines
398 B
Diff
11 lines
398 B
Diff
--- z3-z3-4.11.2/src/solver/parallel_tactic.cpp.orig 2022-09-03 16:47:12.000000000 -0600
|
|
+++ z3-z3-4.11.2/src/solver/parallel_tactic.cpp 2023-01-08 21:39:29.169670155 -0700
|
|
@@ -460,6 +460,7 @@ private:
|
|
conquer->get_model(mdl);
|
|
}
|
|
else {
|
|
+ std::lock_guard<std::mutex> lock(m_mutex);
|
|
s.get_solver().get_model(mdl);
|
|
}
|
|
if (mdl) {
|