mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Update sat_ddfw.cpp

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-10-20 10:18:51 -07:00
parent 45ef6d0109
commit d18831c8d5
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/sat/sat_ddfw.cpp
View file

@ -213,6 +213,7 @@ namespace sat {
} }
void ddfw::add(solver const& s) { void ddfw::add(solver const& s) {
set_seed(s.get_config().m_random_seed);
for (auto& ci : m_clauses) for (auto& ci : m_clauses)
m_alloc.del_clause(ci.m_clause); m_alloc.del_clause(ci.m_clause);
m_clauses.reset(); m_clauses.reset();