Sampling vars can only be set once now

Thank you to Tan Yong Kiam for finding this!
msoos · May 4, 2024 · db7d7ce · db7d7ce
1 parent fd845e4
commit db7d7ce
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/cryptominisat.cpp b/src/cryptominisat.cpp
@@ -1861,6 +1861,7 @@ DLL_PUBLIC const std::vector<uint32_t>& SATSolver::get_sampl_vars() const {
 
 DLL_PUBLIC void SATSolver::set_sampl_vars(const std::vector<uint32_t>& vars) {
     Solver& s = *data->solvers[0];
+    if (s.conf.sampling_vars_set) throw std::runtime_error("Sampling vars already set");
     s.conf.sampling_vars_set = true;
     s.conf.sampling_vars = vars;
 }
@@ -1872,6 +1873,7 @@ DLL_PUBLIC bool SATSolver::get_sampl_vars_set() const {
 
 DLL_PUBLIC void SATSolver::set_opt_sampl_vars(const std::vector<uint32_t>& vars) {
     Solver& s = *data->solvers[0];
+    if (s.conf.opt_sampling_vars_set) throw std::runtime_error("Sampling vars already set");
     s.conf.opt_sampling_vars_set = true;
     s.conf.opt_sampling_vars = vars;
 }