From 3811c3f0b4b5addc4961cd67cfd5b69f66080188 Mon Sep 17 00:00:00 2001 From: dehnert Date: Tue, 2 Oct 2018 09:27:31 +0200 Subject: [PATCH] converting error on missing action in JANI DD-builder to warning --- src/storm/builder/DdJaniModelBuilder.cpp | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/storm/builder/DdJaniModelBuilder.cpp b/src/storm/builder/DdJaniModelBuilder.cpp index e2667cf93..b70a41db0 100644 --- a/src/storm/builder/DdJaniModelBuilder.cpp +++ b/src/storm/builder/DdJaniModelBuilder.cpp @@ -940,8 +940,14 @@ namespace storm { STORM_LOG_ASSERT(previousActionPosition, "Inconsistent information about synchronization vector."); AutomatonDd const& previousAutomatonDd = subautomata[previousActionPosition.get()]; auto precedingActionIt = previousAutomatonDd.actions.find(ActionIdentification(actionInformation.getActionIndex(synchVector.getInput(previousActionPosition.get())), synchronizationVectorIndex, isCtmc)); - STORM_LOG_THROW(precedingActionIt != previousAutomatonDd.actions.end(), storm::exceptions::WrongFormatException, "Subcomposition does not have action that is mentioned in parallel composition."); - actionInstantiations[actionIndex].emplace_back(actionIndex, synchronizationVectorIndex, precedingActionIt->second.getHighestLocalNondeterminismVariable(), isCtmc); + + uint64_t highestLocalNondeterminismVariable = 0; + if (precedingActionIt != previousAutomatonDd.actions.end()) { + highestLocalNondeterminismVariable = precedingActionIt->second.getHighestLocalNondeterminismVariable(); + } else { + STORM_LOG_WARN("Subcomposition does not have action that is mentioned in parallel composition."); + } + actionInstantiations[actionIndex].emplace_back(actionIndex, synchronizationVectorIndex, highestLocalNondeterminismVariable, isCtmc); } }