From d18831c8d5e58730f0bad1cbeb5de0dc9d59055c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Oct 2024 10:18:51 -0700 Subject: [PATCH] Update sat_ddfw.cpp --- src/sat/sat_ddfw.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sat/sat_ddfw.cpp b/src/sat/sat_ddfw.cpp index ccf5a55db2c..83feed14586 100644 --- 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();