projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1)Making naiveencoder and encoding graph use tuner 2)Adding timeout to the sat solver...
[satune.git]
/
src
/
Tuner
/
searchtuner.cc
diff --git
a/src/Tuner/searchtuner.cc
b/src/Tuner/searchtuner.cc
index 3486a9c737eab26ca7b120df730d389857fa8b64..c7b3aab2b690036f07fc26e791a63a1765e4aafc 100644
(file)
--- a/
src/Tuner/searchtuner.cc
+++ b/
src/Tuner/searchtuner.cc
@@
-44,11
+44,12
@@
void TunableSetting::setDecision(int _low, int _high, int _default, int _selecti
}
void TunableSetting::print() {
}
void TunableSetting::print() {
+ model_print("Param %s = %u \t range=[%u,%u]", tunableParameterToString( (Tunables)param), selectedValue, lowValue, highValue);
if (hasVar) {
if (hasVar) {
- model_print("VarType1 %" PRIu64 ", ", type1);
+ model_print("
\t
VarType1 %" PRIu64 ", ", type1);
model_print("VarType2 %" PRIu64 ", ", type2);
}
model_print("VarType2 %" PRIu64 ", ", type2);
}
- model_print("
Param %s = %u \t range=[%u,%u]\n", tunableParameterToString( (Tunables)param), selectedValue, lowValue, highValue
);
+ model_print("
\n"
);
}
unsigned int tunableSettingHash(TunableSetting *setting) {
}
unsigned int tunableSettingHash(TunableSetting *setting) {