mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-25 15:23:41 +00:00
Code Activity

remove trace that accesses stale data #7668

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-06-02 08:58:35 +02:00
parent 7f5427b839
commit e2e54527db
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/smt_context.cpp
View file

@ -2266,7 +2266,6 @@ namespace smt {
contains a literal l where l.var() >= num_bool_vars. contains a literal l where l.var() >= num_bool_vars.
*/ */
void context::reinit_clauses(unsigned num_scopes, unsigned num_bool_vars) { void context::reinit_clauses(unsigned num_scopes, unsigned num_bool_vars) {
TRACE(reinit_clauses_bug, display_watch_lists(tout););
if (m_clauses_to_reinit.empty()) if (m_clauses_to_reinit.empty())
return; return;
unsigned lim = m_scope_lvl + num_scopes; unsigned lim = m_scope_lvl + num_scopes;