adding more logging to forced unphase functions

arminbiere · Jun 3, 2023 · 41510f1 · 41510f1
1 parent 8822a9c
commit 41510f1
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/src/external.cpp b/src/external.cpp
@@ -225,9 +225,13 @@ void External::unphase (int elit) {
   assert (elit);
   assert (elit != INT_MIN);
   int eidx = abs (elit);
-  if (eidx > max_var) return;
+  if (eidx > max_var) {
+UNUSED:
+    LOG ("resetting forced phase of unused external %d ignored", elit);
+    return;
+  }
   int ilit = e2i[eidx];
-  if (!ilit) return;
+  if (!ilit) goto UNUSED;
   if (elit < 0) ilit = -ilit;
   internal->unphase (ilit);
 }

diff --git a/src/phases.cpp b/src/phases.cpp
@@ -33,7 +33,10 @@ void Internal::phase (int lit) {
 void Internal::unphase (int lit) {
   const int idx = vidx (lit);
   signed char old_forced_phase = phases.forced[idx];
-  if (!old_forced_phase) return;
+  if (!old_forced_phase) {
+    LOG ("forced phase of %d already reset", lit);
+    return;
+  }
   LOG ("clearing old forced phase %d", old_forced_phase * idx);
   phases.forced[idx] = 0;
 }