From 5e3506a0e183c9765414b66aec52b11116072c57 Mon Sep 17 00:00:00 2001 From: TimQu Date: Tue, 21 May 2019 10:50:19 +0200 Subject: [PATCH] GeneralSettings: Issue a warning when precision is set via --general:precision and not --precision. --- src/storm/settings/modules/GeneralSettings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/settings/modules/GeneralSettings.cpp b/src/storm/settings/modules/GeneralSettings.cpp index 2db8a22cd..05fe6c542 100644 --- a/src/storm/settings/modules/GeneralSettings.cpp +++ b/src/storm/settings/modules/GeneralSettings.cpp @@ -81,7 +81,6 @@ namespace storm { return this->getOption(configOptionName).getArgumentByName("filename").getValueAsString(); } - bool GeneralSettings::isBisimulationSet() const { return this->getOption(bisimulationOptionName).getHasOptionBeenSet(); } @@ -103,6 +102,7 @@ namespace storm { } bool GeneralSettings::check() const { + STORM_LOG_WARN_COND(!this->getOption(precisionOptionName).getHasOptionBeenSetWithModulePrefix(), "Setting the precision option with module prefix does not effect all solvers. Consider setting --" << precisionOptionName << " instead of --" << moduleName << ":" << precisionOptionName << "."); return true; }