mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-28 23:17:56 +00:00
Code Activity

Fix race condition in smt_tactic::collect_statistics

Browse source 
Co-authored-by: levnach <5377127+levnach@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-07-02 23:34:49 +00:00
parent f094053cd0
commit bee55f1466
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/smt/tactic/smt_tactic_core.cpp
View file

@ -101,8 +101,9 @@ public:
void collect_statistics(statistics & st) const override {
if (m_ctx)
m_ctx->collect_statistics(st); // ctx is still running...
smt::kernel * local_ctx = m_ctx; // Capture pointer to avoid race condition
if (local_ctx)
local_ctx->collect_statistics(st); // ctx is still running...
else
st.copy(m_stats);
}