Accept next option immediately after a numeric value

Undocumented feature for compatibility with ASL
ampl · Mar 20, 2024 · 0d98044 · 0d98044
1 parent 87b7134
commit 0d98044
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/include/mp/solver-opt.h b/include/mp/solver-opt.h
@@ -329,7 +329,8 @@ class TypedSolverOption : public SolverOption {
   void Parse(const char *&s, bool splitString=false) override {
     const char *start = s;
     T value = internal::OptionHelper<T>::Parse(s, splitString);
-    if (*s && !std::isspace(*s)) {
+    if (false  // undocumented: we accept next option after a numeric option
+        && *s && !std::isspace(*s)) {
       do ++s;
       while (*s && !std::isspace(*s));
       throw InvalidOptionValue(name(), std::string(start, s - start));

diff --git a/test/end2end/cases/categorized/fast/suf_common/modellist.json b/test/end2end/cases/categorized/fast/suf_common/modellist.json
@@ -10,7 +10,8 @@
     }
   },
   {
-    "name": "mipbound_01 bestbound=1 return_mipgap=3",
+    "name": "mipbound_01 bestbound=1return_mipgap=3",
+    "comment": "Undocumented ASL/MP feature: no space after numeric option",
     "tags": [ "linear", "return_mipgap"],
     "options": { "ANYSOLVER_options": "bestbound=1 return_mipgap=3" },
     "objective": 1,