projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
bug fix
[satune.git]
/
src
/
Test
/
deserializerun.cc
diff --git
a/src/Test/deserializerun.cc
b/src/Test/deserializerun.cc
index 29afbd9a22bcdf97aa27834f3c7e0be2aefb5568..ef6e9db5084414a8fd7910282a13b2a6263b26f2 100644
(file)
--- a/
src/Test/deserializerun.cc
+++ b/
src/Test/deserializerun.cc
@@
-9,6
+9,7
@@
int main(int argc, char **argv) {
printf("You only specify the name of the file ...");
exit(-1);
}
printf("You only specify the name of the file ...");
exit(-1);
}
+ char buffer[512];
CSolver *solver = CSolver::deserialize(argv[1]);
uint timeout;
sscanf(argv[2], "%u", &timeout);
CSolver *solver = CSolver::deserialize(argv[1]);
uint timeout;
sscanf(argv[2], "%u", &timeout);
@@
-22,6
+23,10
@@
int main(int argc, char **argv) {
myfile << metric;
myfile << sat;
myfile.close();
myfile << metric;
myfile << sat;
myfile.close();
+ //serialize out the tuner we used
+ snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
+ tuner->serialize(buffer);
+
delete solver;
return 0;
}
delete solver;
return 0;
}