Fail on missing API options

jerboaa · Sep 13, 2023 · c949f3e · c949f3e
1 parent aae9a26
commit c949f3e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...ratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java b/...ratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java
@@ -195,7 +195,9 @@ public static String commandArgument(OptionKey<?> option, String value, String a
                     }
                 }
             }
-            return HOSTED_OPTION_PREFIX + value + option;
+            String optionString = HOSTED_OPTION_PREFIX + value + option;
+            assert apiOptionName == null : "The API option " + apiOptionName + " not found for " + optionString;
+            return optionString;
         } else {
             String apiOptionWithValue = null;
             for (APIOption apiOption : apiOptions) {