Browse Source

Mention -pc flag in error message

tempestpy_adaptions
Matthias Volk 7 years ago
parent
commit
72c1e79ccd
  1. 2
      src/storm/storage/prism/Program.cpp

2
src/storm/storage/prism/Program.cpp

@ -1124,7 +1124,7 @@ namespace storm {
if (this->getModelType() == Program::ModelType::DTMC || this->getModelType() == Program::ModelType::MDP) { if (this->getModelType() == Program::ModelType::DTMC || this->getModelType() == Program::ModelType::MDP) {
STORM_LOG_THROW(!hasMarkovianCommand, storm::exceptions::WrongFormatException, "Discrete-time model must not have Markovian commands."); STORM_LOG_THROW(!hasMarkovianCommand, storm::exceptions::WrongFormatException, "Discrete-time model must not have Markovian commands.");
} else if (this->getModelType() == Program::ModelType::CTMC) { } else if (this->getModelType() == Program::ModelType::CTMC) {
STORM_LOG_THROW(!hasProbabilisticCommand, storm::exceptions::WrongFormatException, "The input model is a CTMC, but uses probabilistic commands like they are used in PRISM. Please use Markovian commands instead or turn on the PRISM compatibility mode using the appropriate flag.");
STORM_LOG_THROW(!hasProbabilisticCommand, storm::exceptions::WrongFormatException, "The input model is a CTMC, but uses probabilistic commands like they are used in PRISM. Please use Markovian commands instead or turn on the PRISM compatibility mode using the flag '-pc'.");
} }
// Now check the reward models. // Now check the reward models.

Loading…
Cancel
Save