X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Fruncomptuner.cc;h=6d9b93f15767a2b77853807a48a240fb460dc737;hp=de751d10a9a97294088ae853b03f75115c524ef7;hb=18d917b3ac3afcf893fe7b04ab35ad6e00c6a8ab;hpb=ec4122e6d43e951feb8b344bf3511a50e08a3615 diff --git a/src/Test/runcomptuner.cc b/src/Test/runcomptuner.cc index de751d1..6d9b93f 100644 --- a/src/Test/runcomptuner.cc +++ b/src/Test/runcomptuner.cc @@ -1,5 +1,5 @@ #include "csolver.h" -#include "multituner.h" +#include "comptuner.h" #include "searchtuner.h" int main(int argc, char **argv) { @@ -14,7 +14,7 @@ int main(int argc, char **argv) { sscanf(argv[2], "%u", &rounds); sscanf(argv[3], "%u", &timeout); - MultiTuner *multituner = new MultiTuner(budget, rounds, timeout); + CompTuner *multituner = new CompTuner(budget, timeout); bool tunerfiles = false; for (int i = 4; i < argc; i++) { if (!tunerfiles) {