From 1a7d269228ffa4849a5350d4e53ed8ba8420f05d Mon Sep 17 00:00:00 2001 From: PBerger Date: Fri, 16 Sep 2016 12:51:44 +0200 Subject: [PATCH] Set Sylvan Thread Count to 1. This is necessary for Sylvan with RationalFunction. For now. Former-commit-id: bc1c2318e76520567e2710bf90b321684d8003bc --- src/settings/modules/SylvanSettings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/settings/modules/SylvanSettings.cpp b/src/settings/modules/SylvanSettings.cpp index a14648cd9..996dbdabc 100644 --- a/src/settings/modules/SylvanSettings.cpp +++ b/src/settings/modules/SylvanSettings.cpp @@ -17,7 +17,7 @@ namespace storm { SylvanSettings::SylvanSettings() : ModuleSettings(moduleName) { this->addOption(storm::settings::OptionBuilder(moduleName, maximalMemoryOptionName, true, "Sets the upper bound of memory available to Sylvan in MB.").addArgument(storm::settings::ArgumentBuilder::createUnsignedIntegerArgument("value", "The memory available to Sylvan.").setDefaultValueUnsignedInteger(4096).build()).build()); - this->addOption(storm::settings::OptionBuilder(moduleName, threadCountOptionName, true, "Sets the number of threads used by Sylvan.").addArgument(storm::settings::ArgumentBuilder::createUnsignedIntegerArgument("value", "The number of threads available to Sylvan (0 means 'auto-detect').").setDefaultValueUnsignedInteger(0).build()).build()); + this->addOption(storm::settings::OptionBuilder(moduleName, threadCountOptionName, true, "Sets the number of threads used by Sylvan.").addArgument(storm::settings::ArgumentBuilder::createUnsignedIntegerArgument("value", "The number of threads available to Sylvan (0 means 'auto-detect').").setDefaultValueUnsignedInteger(1).build()).build()); } uint_fast64_t SylvanSettings::getMaximalMemory() const {