From ffe325b1964a63198d68e1521ff94c0c92496471 Mon Sep 17 00:00:00 2001 From: hbruintjes Date: Thu, 30 Jun 2016 11:29:00 +0200 Subject: [PATCH] Fix unitialized data in coresettings Former-commit-id: 7c0dac26ba4df2e22f5296a45862d3a6392c87b3 --- src/settings/modules/CoreSettings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/settings/modules/CoreSettings.cpp b/src/settings/modules/CoreSettings.cpp index 5617d959c..b42a301c8 100644 --- a/src/settings/modules/CoreSettings.cpp +++ b/src/settings/modules/CoreSettings.cpp @@ -32,7 +32,7 @@ namespace storm { const std::string CoreSettings::cudaOptionName = "cuda"; const std::string CoreSettings::minMaxEquationSolvingTechniqueOptionName = "ndmethod"; - CoreSettings::CoreSettings() : ModuleSettings(moduleName) { + CoreSettings::CoreSettings() : ModuleSettings(moduleName), engine(CoreSettings::Engine::Sparse) { this->addOption(storm::settings::OptionBuilder(moduleName, counterexampleOptionName, false, "Generates a counterexample for the given PRCTL formulas if not satisfied by the model") .addArgument(storm::settings::ArgumentBuilder::createStringArgument("filename", "The name of the file to which the counterexample is to be written.").setDefaultValueString("-").setIsOptional(true).build()).setShortName(counterexampleOptionShortName).build()); this->addOption(storm::settings::OptionBuilder(moduleName, dontFixDeadlockOptionName, false, "If the model contains deadlock states, they need to be fixed by setting this option.").setShortName(dontFixDeadlockOptionShortName).build());