cleanup; generate control file

diff --git a/zypp/sat/SATResolver.cc b/zypp/sat/SATResolver.cc
index eaef3a862d2bc0735216ba0e45853161fd894ab1..b69a2de84333c40a40ae12f8d9c82c39b14cf3a9 100644 (file)
--- a/zypp/sat/SATResolver.cc
+++ b/zypp/sat/SATResolver.cc
@@ -95,8 +95,6 @@ SATResolver::SATResolver (const ResPool & pool, Pool *SATPool)
     , _dosplitprovides(false)
 
 {
-    Testcase testcase("/var/log/YaST2/autotestcase");
-    testcase.createTestcasePool (pool); // dump pool to testcase    
 }
 
 

diff --git a/zypp/solver/detail/Resolver.cc b/zypp/solver/detail/Resolver.cc
index bd3c38969e4fe076ed84d6c2a1385b28d1556857..3cf05ec5b88f75709ba0926dc77d565dcc78b03a 100644 (file)
--- a/zypp/solver/detail/Resolver.cc
+++ b/zypp/solver/detail/Resolver.cc
@@ -248,11 +248,13 @@ Resolver::resolvePool()
 
     // Solving with the satsolver
        MIL << "-------------- Calling SAT Solver -------------------" << endl;
+       Testcase testcase("/var/log/YaST2/autoTestcase");
        if ( !_satResolver ) {
            sat::Pool satPool( sat::Pool::instance() );
            _satResolver = new SATResolver(_pool, satPool.get());
-           Testcase testcase("/var/log/YaST/autoTestcase");
            testcase.createTestcase (*this, true, false); // create pool, do not solver
+       } else {
+           testcase.createTestcase (*this, false, false); // write control file only
        }
 #if 0
        MIL << "------SAT-Pool------" << endl;