Cleaned up code to skip statement of Log File as Highs.log; formatted

Author: jajhall

app/HighsRuntimeOptions.h

@@ -14,8 +14,8 @@
 
 #include <cassert>
 
-#include "extern/CLI11.hpp"
 #include "HConfig.h"
+#include "extern/CLI11.hpp"
 #include "io/HighsIO.h"
 #include "io/LoadOptions.h"
 #include "util/stringutil.h"

app/RunHighs.cpp

@@ -17,8 +17,11 @@ static bool written_cli_copyright_line = false;
 
 void cliCopyrightLine(const HighsLogOptions& log_options) {
   if (written_cli_copyright_line) return;
-  highsLogUser(log_options, HighsLogType::kInfo, "Command line parsed using CLI11 %s: Copyright (c) 2017-2025 University of Cincinnati\n", CLI11_VERSION);
-  written_cli_copyright_line = true;	       
+  highsLogUser(log_options, HighsLogType::kInfo,
+               "Command line parsed using CLI11 %s: Copyright (c) 2017-2025 "
+               "University of Cincinnati\n",
+               CLI11_VERSION);
+  written_cli_copyright_line = true;
 }
 
 int runHighsReturn(Highs& highs, const int status) {

highs/lp_data/HighsOptions.cpp

@@ -923,11 +923,15 @@ void reportOptions(FILE* file, const HighsLogOptions& log_options,
   for (HighsInt index = 0; index < num_options; index++) {
     HighsOptionType type = option_records[index]->type;
     if (option_records[index]->name == kLogFileString) {
-      auto option = ((OptionRecordString*)option_records[index])[0];
-      printf("Found Log File option with value %s\n", option.value->c_str());
-      if (*option.value == kHighsRunLogFile) continue;
+      // Default HiGHS log file name is "" so that deviations from it
+      // trigger opening the log file. However, it's unnecessary to
+      // report the deviation to kLogFileString, which is the default
+      // non-empty log file name in HighsRun.cpp
+      if (*((OptionRecordString*)option_records[index])[0].value ==
+          kHighsRunLogFile)
+        continue;
     }
-	
+
     // Only report non-advanced options
     if (option_records[index]->advanced) {
       // Possibly skip the advanced options when creating Md file

highs/presolve/HPresolve.cpp

@@ -5126,7 +5126,8 @@ HPresolve::Result HPresolve::enumerateSolutions(
 
     // no reductions for this row?
     if (noReductions) {
-      while (doBacktrack(numBranches));
+      while (doBacktrack(numBranches))
+        ;
       continue;
     }