tabbing

[satune.git] / src / Test / deserializerun.cc

diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc
index 14551a624f1a068eb07b7cedcd248c57343eb013..29afbd9a22bcdf97aa27834f3c7e0be2aefb5568 100644 (file)
--- a/src/Test/deserializerun.cc
+++ b/src/Test/deserializerun.cc
@@ -14,6 +14,7 @@ int main(int argc, char **argv) {
        sscanf(argv[2], "%u", &timeout);
        SearchTuner *tuner = new SearchTuner(argv[3]);
        solver->setTuner(tuner);
+       solver->setSatSolverTimeout(timeout);
        int sat = solver->solve();
        long long metric = solver->getElapsedTime();
        ofstream myfile;