log warning and reset

arminbiere · Jan 31, 2024 · c077f39 · c077f39
1 parent b8434e3
commit c077f39
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/src/minimize.cpp b/src/minimize.cpp
@@ -175,7 +175,7 @@ void Internal::calculate_minimize_chain (int lit, std::vector<int> &stack) {
     assert (v.reason && f.removable);
     const const_literal_iterator end = v.reason->end ();
     const_literal_iterator i;
-    LOG (v.reason, "LRAT chain for lit %d at depth %d by going over", lit,
+    LOG (v.reason, "LRAT chain for lit %d at depth %zd by going over", lit,
          stack.size());
     stack.push_back (-idx);
     for (i = v.reason->begin (); i != end; i++) {

diff --git a/src/solver.cpp b/src/solver.cpp
@@ -648,6 +648,7 @@ void Solver::reset_assumptions () {
   REQUIRE_VALID_STATE ();
   transition_to_steady_state ();
   external->reset_assumptions ();
+  external->reset_concluded ();
   LOG_API_CALL_END ("reset_assumptions");
 }
 
@@ -656,6 +657,7 @@ void Solver::reset_constraint () {
   REQUIRE_VALID_STATE ();
   transition_to_steady_state ();
   external->reset_constraint ();
+  external->reset_concluded ();
   LOG_API_CALL_END ("reset_constraint");
 }