projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
500dc35
)
bug fixes
author
bdemsky
<bdemsky@uci.edu>
Wed, 17 Oct 2018 21:35:06 +0000
(14:35 -0700)
committer
bdemsky
<bdemsky@uci.edu>
Wed, 17 Oct 2018 21:35:06 +0000
(14:35 -0700)
src/Tuner/multituner.cc
patch
|
blob
|
history
diff --git
a/src/Tuner/multituner.cc
b/src/Tuner/multituner.cc
index 09e44914d4cfa2df7a7ee08bd8b0a1b19f98f6a4..34d2ce1a43c374e25dec2e8b2ab3d4fa32a39893 100644
(file)
--- a/
src/Tuner/multituner.cc
+++ b/
src/Tuner/multituner.cc
@@
-114,7
+114,7
@@
void MultiTuner::readData(uint numRuns) {
long long metric = -1;
int sat = IS_INDETER;
//Read data in from results file
long long metric = -1;
int sat = IS_INDETER;
//Read data in from results file
- snprintf(buffer, sizeof(buffer), "result%u",
execnum
);
+ snprintf(buffer, sizeof(buffer), "result%u",
i
);
myfile.open (buffer, ios::in);
myfile.open (buffer, ios::in);
@@
-130,9
+130,11
@@
void MultiTuner::readData(uint numRuns) {
model_print("******** Result has changed ********\n");
}
model_print("******** Result has changed ********\n");
}
- if (metric != -1)
+ if (metric != -1) {
+ if (tuner->getTime(problem) == -1)
+ tuner->problems.push(problem);
tuner->setTime(problem, metric);
tuner->setTime(problem, metric);
-
+ }
}
}
@@
-228,6
+230,8
@@
void MultiTuner::tuneComp() {
long long metric = tuner->getTime(problem);
if (metric == -1) {
metric = evaluate(problem, tuner);
long long metric = tuner->getTime(problem);
if (metric == -1) {
metric = evaluate(problem, tuner);
+ if (tuner->getTime(problem) == -1)
+ tuner->problems.push(problem);
if (metric != -1)
tuner->setTime(problem, metric);
}
if (metric != -1)
tuner->setTime(problem, metric);
}