mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-20 15:34:41 +00:00
Code Activity

Reset timestamp for variables in sat_ddfw.cpp

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-01-26 10:12:05 -08:00
parent 5e485d28c2
commit 382b3d9a97
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/ast/sls/sat_ddfw.cpp
View file

@ -220,6 +220,7 @@ namespace sat {
add_assumptions();
for (unsigned v = 0; v < num_vars(); ++v) {
value(v) = (m_rand() % 2) == 0; // m_use_list[lit.index()].size() >= m_use_list[nlit.index()].size();
m_vars[v].m_timestamp = 0;
}
if (!flatten_use_list())