Update sat_ddfw.cpp

Z3Prover · Oct 22, 2024 · d18831c · d18831c
1 parent 45ef6d0
commit d18831c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/sat/sat_ddfw.cpp b/src/sat/sat_ddfw.cpp
@@ -213,6 +213,7 @@ namespace sat {
     }
 
     void ddfw::add(solver const& s) {
+        set_seed(s.get_config().m_random_seed);
         for (auto& ci : m_clauses) 
             m_alloc.del_clause(ci.m_clause);
         m_clauses.reset();