src/libs/libsolv/solv/pool.c

974

mask |= SOLV_DEBUG_PROPAGATE;

src/libs/libsolv/solv/solver.c

1225

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "reverting decision %d at %d\n", v, solv->decisionmap[vv]);

src/libs/libsolv/solv/solver.c

1743

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "propagating (propagate_index: %d; size decisionq: %d)...\n", solv->propagate_index, solv->decisionq.count);

src/libs/libsolv/solv/solver.c

2043

IF_POOLDEBUG (SOLV_DEBUG_PROPAGATE)

src/libs/libsolv/solv/solver.c

2045

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "unfulfilled ");

src/libs/libsolv/solv/solver.c

2046

solver_printruleclass(solv, SOLV_DEBUG_PROPAGATE, r);

src/libs/libsolv/solv/solver.c

343

IF_POOLDEBUG (SOLV_DEBUG_PROPAGATE)

src/libs/libsolv/solv/solver.c

347

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "conflicting %s (assertion)\n", pool_solvable2str(solv->pool, s));

src/libs/libsolv/solv/solver.c

349

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "installing %s (assertion)\n", pool_solvable2str(solv->pool, s));

src/libs/libsolv/solv/solver.c

517

IF_POOLDEBUG (SOLV_DEBUG_PROPAGATE)

src/libs/libsolv/solv/solver.c

521

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "conflicting %s (weak assertion)\n", pool_solvable2str(solv->pool, s));

src/libs/libsolv/solv/solver.c

523

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "installing %s (weak assertion)\n", pool_solvable2str(solv->pool, s));

src/libs/libsolv/solv/solver.c

651

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "----- propagate -----\n");

src/libs/libsolv/solv/solver.c

662

IF_POOLDEBUG (SOLV_DEBUG_PROPAGATE)

src/libs/libsolv/solv/solver.c

664

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "propagate for decision %d level %d\n", -pkg, level);

src/libs/libsolv/solv/solver.c

665

solver_printruleelement(solv, SOLV_DEBUG_PROPAGATE, 0, -pkg);

src/libs/libsolv/solv/solver.c

682

IF_POOLDEBUG (SOLV_DEBUG_PROPAGATE)

src/libs/libsolv/solv/solver.c

684

POOL_DEBUG(SOLV_DEBUG_PROPAGATE," watch triggered ");

src/libs/libsolv/solv/solver.c

685

solver_printrule(solv, SOLV_DEBUG_PROPAGATE, r);

src/libs/libsolv/solv/solver.c

751

IF_POOLDEBUG (SOLV_DEBUG_PROPAGATE)

src/libs/libsolv/solv/solver.c

754

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, " -> move w%d to %s\n", (pkg == r->w1 ? 1 : 2), pool_solvid2str(pool, p));

src/libs/libsolv/solv/solver.c

756

POOL_DEBUG(SOLV_DEBUG_PROPAGATE," -> move w%d to !%s\n", (pkg == r->w1 ? 1 : 2), pool_solvid2str(pool, -p));

src/libs/libsolv/solv/solver.c

786

IF_POOLDEBUG (SOLV_DEBUG_PROPAGATE)

src/libs/libsolv/solv/solver.c

788

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, " unit ");

src/libs/libsolv/solv/solver.c

789

solver_printrule(solv, SOLV_DEBUG_PROPAGATE, r);

src/libs/libsolv/solv/solver.c

800

IF_POOLDEBUG (SOLV_DEBUG_PROPAGATE)

src/libs/libsolv/solv/solver.c

803

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, " -> decided to install %s\n", pool_solvid2str(pool, other_watch));

src/libs/libsolv/solv/solver.c

805

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, " -> decided to conflict %s\n", pool_solvid2str(pool, -other_watch));

src/libs/libsolv/solv/solver.c

812

POOL_DEBUG(SOLV_DEBUG_PROPAGATE, "----- propagate end-----\n");