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

1312

POOL_DEBUG(SOLV_DEBUG_ANALYZE, "conflict with rule #%d\n", (int)(r - solv->rules));

src/libs/libsolv/solv/solver.c

1315

POOL_DEBUG(SOLV_DEBUG_ANALYZE, "reverting decisions (level %d -> %d)\n", level, l);

src/libs/libsolv/solv/solver.c

1337

IF_POOLDEBUG (SOLV_DEBUG_ANALYZE)

src/libs/libsolv/solv/solver.c

1339

POOL_DEBUG(SOLV_DEBUG_ANALYZE, "decision: ");

src/libs/libsolv/solv/solver.c

1340

solver_printruleelement(solv, SOLV_DEBUG_ANALYZE, 0, p);

src/libs/libsolv/solv/solver.c

1341

POOL_DEBUG(SOLV_DEBUG_ANALYZE, "new rule: ");

src/libs/libsolv/solv/solver.c

1342

solver_printrule(solv, SOLV_DEBUG_ANALYZE, r);

src/libs/libsolv/solv/solver.c

843

POOL_DEBUG(SOLV_DEBUG_ANALYZE, "ANALYZE at %d ----------------------\n", level);

src/libs/libsolv/solv/solver.c

848

IF_POOLDEBUG (SOLV_DEBUG_ANALYZE)

src/libs/libsolv/solv/solver.c

849

solver_printruleclass(solv, SOLV_DEBUG_ANALYZE, c);

src/libs/libsolv/solv/solver.c

906

POOL_DEBUG(SOLV_DEBUG_ANALYZE, "got %d involved level 1 decisions\n", l1num);

src/libs/libsolv/solv/solver.c

931

IF_POOLDEBUG (SOLV_DEBUG_ANALYZE)

src/libs/libsolv/solv/solver.c

933

POOL_DEBUG(SOLV_DEBUG_ANALYZE, "learned rule for level %d (am %d)\n", rlevel, level);

src/libs/libsolv/solv/solver.c

934

solver_printruleelement(solv, SOLV_DEBUG_ANALYZE, 0, *pr);

src/libs/libsolv/solv/solver.c

936

solver_printruleelement(solv, SOLV_DEBUG_ANALYZE, 0, r.elements[i]);