make easier to read

diff --git a/src/Tuner/multituner.cc b/src/Tuner/multituner.cc
index e0fee46074f5656e7df7fd9bba9cd4a7ba5e18a1..61b5bd38e62461f49e1ab4a9cf71abb3244b1e30 100644 (file)
--- a/src/Tuner/multituner.cc
+++ b/src/Tuner/multituner.cc
@@ -234,7 +234,7 @@ void MultiTuner::tuneComp() {
                                        if (tuner->getTime(problem) == -1) {
                                                tuner->problems.push(problem);
                                        }
-                                       DEBUG("%u.Problem<%s>\tTuner<%p>\tMetric<%lld>\n", i, problem->problem,tuner, metric);
+                                       DEBUG("%u.Problem<%s>\tTuner<%p, %d>\tMetric<%lld>\n", i, problem->problem,tuner, tuner->tunernumber, metric);
                                        DEBUG("*****************************\n");
                                        if (metric != -1)
                                                tuner->setTime(problem, metric);
@@ -256,7 +256,7 @@ void MultiTuner::tuneComp() {
                                if (scores.contains(tuner))
                                        currScore = scores.get(tuner);
                                currScore += points;
-                               DEBUG("Problem<%s>\tTuner<%p>\tmetric<%d>\n", problem->problem, tuner, currScore);
+                               DEBUG("Problem<%s>\tTuner<%p,%d>\tmetric<%d>\n", problem->problem, tuner, tuner->tunernumber,  currScore);
                                DEBUG("**************************\n");
                                scores.put(tuner, currScore);
                                points = points / 3;
@@ -277,7 +277,7 @@ void MultiTuner::tuneComp() {
                                if (score > tscore)
                                        break;
                        }
-                       DEBUG("ranking[%u]=tuner<%p>(Score=%d)\n", j, tuner, score);
+                       DEBUG("ranking[%u]=tuner<%p,%u>(Score=%d)\n", j, tuner, tuner->tunernumber, score);
                        DEBUG("************************\n");
                        ranking.insertAt(j, tuner);
                }

diff --git a/src/config.h b/src/config.h
index ce13d3c8ef6873db22e29ce7dc5d7e25ef0b1630..4d56dfbd3b95618fd04b8fe3fe60f8e39f5bc18b 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -16,7 +16,7 @@
 
 /** Turn on debugging. */
 #ifndef CONFIG_DEBUG
-//#define CONFIG_DEBUG
+#define CONFIG_DEBUG
 #endif
 
 #ifndef CONFIG_ASSERT