typo

simplest.pomdp

@@ -0,0 +1,18 @@
+pomdp
+
+observable "end" = s=5;
+observable "trap" = s=4;
+
+module main
+    s : [0..5] init 0;
+    [a] s = 0 -> 0.25: (s'=1) + 0.25: (s'=2) + 0.5:(s'=3);
+    [b] s=0 -> 0.5: (s'=1) + 0.5: (s'=2);
+    [a] s=1 -> (s'=2);
+    [a] s=2 -> (s'=1);
+    [b] s=1 -> (s'=4);
+    [b] s=2 -> (s'=5);
+    [a] s=3 -> (s'=5);
+    [b] s=3 -> (s'=5);
+endmodule
+
+label "goal" = s=5;

src/storm/settings/modules/MultiObjectiveSettings.cpp

@@ -37,7 +37,7 @@ namespace storm {
                                 .addArgument(storm::settings::ArgumentBuilder::createUnsignedIntegerArgument("memorystates", "The Number of memory states (only if supported by the pattern).").setDefaultValueUnsignedInteger(0).makeOptional().build()).build());
                 this->addOption(storm::settings::OptionBuilder(moduleName, printResultsOptionName, true, "Prints intermediate results of the computation to standard output.").setIsAdvanced().build());
                 std::vector<std::string> encodingTypes = {"auto", "classic", "flow"};
-                this->addOption(storm::settings::OptionBuilder(moduleName, encodingOptionName, true, "The prefered type of encoding for constraint-based methods.").setIsAdvanced()
+                this->addOption(storm::settings::OptionBuilder(moduleName, encodingOptionName, true, "The preferred type of encoding for constraint-based methods.").setIsAdvanced()
                                 .addArgument(storm::settings::ArgumentBuilder::createStringArgument("type", "The type.").setDefaultValueString("auto").addValidatorString(ArgumentValidatorFactory::createMultipleChoiceValidator(encodingTypes)).build()).build());
             }