diff --git a/src/ir/Program.cpp b/src/ir/Program.cpp index 691951f48..8e5306e71 100644 --- a/src/ir/Program.cpp +++ b/src/ir/Program.cpp @@ -6,9 +6,14 @@ */ #include "Program.h" +#include "exceptions/InvalidArgumentException.h" #include +#include "log4cplus/logger.h" +#include "log4cplus/loggingmacros.h" +extern log4cplus::Logger logger; + namespace storm { namespace ir { @@ -101,7 +106,8 @@ std::shared_ptr> const Program::getModulesByAction(std:: storm::ir::RewardModel Program::getRewardModel(std::string const & name) const { auto it = this->rewards.find(name); if (it == this->rewards.end()) { - // throw some exception here... + LOG4CPLUS_ERROR(logger, "The given reward model \"" << name << "\" does not exist. We will proceed without rewards."); + return RewardModel(); } else { return it->second; }