Auto Tuner Initial Full Checkin

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index eecbaf3267379f38df5d6e2a4f14de511a686bd1..a9a4f624820e6f64adfdb145750c4378399a62b4 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -243,8 +243,8 @@ long long CSolver::getEncodeTime() { return satEncoder->getEncodeTime(); }
 
 long long CSolver::getSolveTime() { return satEncoder->getSolveTime(); }
 
-void CSolver::autoTune() {
-       AutoTuner * autotuner=new AutoTuner();
+void CSolver::autoTune(uint budget) {
+       AutoTuner * autotuner=new AutoTuner(budget);
        autotuner->addProblem(this);
        autotuner->tune();
 }