Reset timestamp for variables in sat_ddfw.cpp

NikolajBjorner · web-flow · commit 4a29326eaa67 · 2026-01-26T10:12:05.000-08:00
diff --git a/src/ast/sls/sat_ddfw.cpp b/src/ast/sls/sat_ddfw.cpp
@@ -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())

Original file line number	Diff line number	Diff line change
`@@ -220,6 +220,7 @@ namespace sat {`
`220`	`220`	`add_assumptions();`
`221`	`221`	`for (unsigned v = 0; v < num_vars(); ++v) {`
`222`	`222`	`value(v) = (m_rand() % 2) == 0; // m_use_list[lit.index()].size() >= m_use_list[nlit.index()].size();`
	`223`	`+ m_vars[v].m_timestamp = 0;`
`223`	`224`	`}`
`224`	`225`
`225`	`226`	`if (!flatten_use_list())`