openSUSE/libsolv
1
0
Fork 0
mirror of https://github.com/openSUSE/libsolv.git synced 2026-02-05 12:45:46 +01:00
Code Issues Releases Activity

Make doshowproof a bit more readable

Browse Source
This commit is contained in:
Michael Schroeder
2025-08-19 17:31:01 +02:00
parent 32439fa5db
commit ac6a1e10fe
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
examples/solv/solv.c
View File

@@ -159,11 +159,6 @@ doshowproof(Solver *solv, Id id, int flags, Queue *lq)
printf("unsolvable: ");
else
printf("%s %s: ", v < 0 ? "conflicted" : "installed", pool_solvidset2str(pool, &qp));
if (type == 0)
{
printf("%s\n", solver_reason2str(solv, reason));
continue;
}
if (type == SOLVER_RULE_LEARNT && lq)
{
for (j = 0; j < lq->count; j++)
@@ -175,7 +170,10 @@ doshowproof(Solver *solv, Id id, int flags, Queue *lq)
continue;
}
}
printf("%s\n", solver_decisioninfo2str(solv, bits, type, from, to, dep));
if (type == 0) /* for SOLVER_REASON_PREMISE */
printf("%s\n", solver_reason2str(solv, reason));
else
printf("%s\n", solver_decisioninfo2str(solv, bits, type, from, to, dep));
}
queue_free(&qp);
queue_free(&q);