Add debug output for branch creation

diff --git a/src/solver.c b/src/solver.c
index e6996a2fd509383f43cf5a941ce076174e7afa8e..336a61f2881d637587b4e640e6ea0d7c6d69466e 100644 (file)
--- a/src/solver.c
+++ b/src/solver.c
@@ -1458,6 +1458,12 @@ selectandinstall(Solver *solv, int level, Queue *dq, int disablerules, Id ruleid
     reorder_dq_for_jobrules(solv, level, dq);
   if (dq->count > 1)
     {
+      IF_POOLDEBUG (SOLV_DEBUG_POLICY)
+       {
+         POOL_DEBUG (SOLV_DEBUG_POLICY, "creating a branch:\n");
+         for (i = 0; i < dq->count; i++)
+           POOL_DEBUG (SOLV_DEBUG_POLICY, "  - %s\n", pool_solvid2str(pool, dq->elements[i]));
+       }
       /* multiple candidates, open a branch */
       queue_push(&solv->branches, -dq->elements[0]);
       for (i = 1; i < dq->count; i++)
@@ -2681,6 +2687,12 @@ solver_run_sat(Solver *solv, int disablerules, int doweak)
                      if (dq.count > 1)
                        {
                          /* multiple candidates, open a branch */
+                         IF_POOLDEBUG (SOLV_DEBUG_POLICY)
+                           {
+                             POOL_DEBUG (SOLV_DEBUG_POLICY, "creating a branch:\n");
+                             for (i = 0; i < dq.count; i++)
+                               POOL_DEBUG (SOLV_DEBUG_POLICY, "  - %s\n", pool_solvid2str(pool, dq.elements[i]));
+                           }
                          queue_push(&solv->branches, -dq.elements[0]);
                          for (i = 1; i < dq.count; i++)
                            queue_push(&solv->branches, dq.elements[i]);