Author: schubi2 Date: Fri Feb 8 12:24:51 2008 New Revision: 8569 URL: http://svn.opensuse.org/viewcvs/zypp?rev=8569&view=rev Log: generating testcase BEFORE staring the solver Modified: branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc Modified: branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc URL: http://svn.opensuse.org/viewcvs/zypp/branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc?rev=8569&r1=8568&r2=8569&view=diff ============================================================================== --- branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc (original) +++ branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc Fri Feb 8 12:24:51 2008 @@ -34,6 +34,7 @@ #include "zypp/sat/SATResolver.h" #include "zypp/sat/Pool.h" #include "zypp/solver/detail/ProblemSolutionCombi.h" +#include "zypp/solver/detail/Testcase.h" extern "C" { #include "satsolver/repo_solv.h" @@ -65,7 +66,7 @@ //--------------------------------------------------------------------------- int vendorCheck (Pool *pool, Solvable *solvable1, Solvable *solvable2) { - DBG << "vendorCheck: " << id2str(pool, solvable1->vendor) << " <--> " << id2str(pool, solvable1->vendor) << endl; +// DBG << "vendorCheck: " << id2str(pool, solvable1->vendor) << " <--> " << id2str(pool, solvable1->vendor) << endl; return VendorAttr::instance().equivalent(id2str(pool, solvable1->vendor), id2str(pool, solvable2->vendor)) ? 0:1; } @@ -94,6 +95,8 @@ , _dosplitprovides(false) { + Testcase testcase("/var/log/YaST2/autotestcase"); + testcase.createTestcasePool (pool); // dump pool to testcase } @@ -570,7 +573,7 @@ pcnt = 1; problem = 0; while ((problem = solver_next_problem(_solv, problem)) != 0) { - MIL << "Problem " << pcnt << ":" << endl; + MIL << "Problem " << pcnt++ << ":" << endl; MIL << "====================================" << endl; string whatString = SATprobleminfoString(problem); MIL << whatString << endl; -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org