From: Michael Schroeder <mls@suse.de>
Date: Tue, 24 Feb 2015 17:55:20 +0000 (+0100)
Subject: Add debug output for branch creation
X-Git-Tag: 0.6.9~12
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4119d23f39fea224ffd75499f1a708f105a5a8d9;p=thirdparty%2Flibsolv.git

Add debug output for branch creation
---

diff --git a/src/solver.c b/src/solver.c
index e6996a2f..336a61f2 100644
--- 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]);