src/libs/libsolv/solv/pool.c

970

mask |= SOLV_DEBUG_STATS|SOLV_DEBUG_ANALYZE|SOLV_DEBUG_UNSOLVABLE|SOLV_DEBUG_SOLVER|SOLV_DEBUG_TRANSACTION|SOLV_ERROR;

src/libs/libsolv/solv/solver.c

1081

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "ANALYZE UNSOLVABLE ----------------------\n");

src/libs/libsolv/solv/solver.c

1165

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "disabling ");

src/libs/libsolv/solv/solver.c

1166

solver_printruleclass(solv, SOLV_DEBUG_UNSOLVABLE, solv->rules + lastweak);

src/libs/libsolv/solv/solver.c

1200

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "UNSOLVABLE\n");

src/libs/libsolv/solv/solver.c

203

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "allowuninstall disabling ");

src/libs/libsolv/solv/solver.c

204

solver_printruleclass(solv, SOLV_DEBUG_UNSOLVABLE, solv->rules + v);

src/libs/libsolv/solv/solver.c

400

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "conflict with system solvable, disabling rule #%d\n", ri);

src/libs/libsolv/solv/solver.c

431

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "conflict with rpm rule, disabling rule #%d\n", ri);

src/libs/libsolv/solv/solver.c

460

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "conflicting update/job assertions over literal %d\n", vv);

src/libs/libsolv/solv/solver.c

477

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, " - disabling rule #%d\n", i);

src/libs/libsolv/solv/solver.c

478

solver_printruleclass(solv, SOLV_DEBUG_UNSOLVABLE, solv->rules + i);

src/libs/libsolv/solv/solver.c

533

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "assertion conflict, but I am weak, disabling ");

src/libs/libsolv/solv/solver.c

534

solver_printrule(solv, SOLV_DEBUG_UNSOLVABLE, r);

src/libs/libsolv/solv/solver.c

980

POOL_DEBUG(SOLV_DEBUG_UNSOLVABLE, "decisions so far: %d\n", solv->decisionq.count);

src/libs/libsolv/solv/solver.c

998

IF_POOLDEBUG (SOLV_DEBUG_UNSOLVABLE)

src/libs/libsolv/solv/solver.c

999

solver_printruleclass(solv, SOLV_DEBUG_UNSOLVABLE, r);