From 461668bc84fb4215cbb3aeb26a6cd010d1f25040 Mon Sep 17 00:00:00 2001 From: dehnert Date: Mon, 2 Apr 2018 21:54:49 +0200 Subject: [PATCH] change default value of an option for abstraction --- src/storm/settings/modules/AbstractionSettings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/settings/modules/AbstractionSettings.cpp b/src/storm/settings/modules/AbstractionSettings.cpp index 8a7f92468..404298782 100644 --- a/src/storm/settings/modules/AbstractionSettings.cpp +++ b/src/storm/settings/modules/AbstractionSettings.cpp @@ -79,7 +79,7 @@ namespace storm { this->addOption(storm::settings::OptionBuilder(moduleName, restrictToRelevantStatesOptionName, true, "Sets whether to restrict to relevant states during the abstraction.") .addArgument(storm::settings::ArgumentBuilder::createStringArgument("value", "The value of the flag.").addValidatorString(ArgumentValidatorFactory::createMultipleChoiceValidator(onOff)) - .setDefaultValueString("off").build()) + .setDefaultValueString("on").build()) .build()); this->addOption(storm::settings::OptionBuilder(moduleName, rankRefinementPredicatesOptionName, true, "Sets whether to rank the refinement predicates if there are multiple.")