Update main.cpp

fontanf · Oct 29, 2024 · f28a8f8 · f28a8f8
1 parent b495bd0
commit f28a8f8
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/main.cpp b/src/main.cpp
@@ -60,7 +60,9 @@ Output run(
         const po::variables_map& vm)
 {
     std::mt19937_64 generator(vm["seed"].as<Seed>());
-    Solution solution(instance, vm["initial-solution"].as<std::string>());
+    Solution solution = (vm.count("certificate"))?
+        Solution(instance, vm["initial-solution"].as<std::string>()):
+        Solution(instance);
 
     // Run algorithm.
     std::string algorithm = vm["algorithm"].as<std::string>();