From c1119fcd8d418d271df497cd17f2bc9ae4605869 Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 7 Dec 2018 11:26:53 +0100 Subject: [PATCH] Triggered conversion from PRISM to JANI when building an MA with the dd engine since MAs are unsupported in the DdPrismModelBuilder. --- src/storm-cli-utilities/model-handling.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h index 7a5b6d13d..4c7a9f01b 100644 --- a/src/storm-cli-utilities/model-handling.h +++ b/src/storm-cli-utilities/model-handling.h @@ -148,7 +148,9 @@ namespace storm { bool transformToJani = ioSettings.isPrismToJaniSet(); bool transformToJaniForJit = builderType == storm::builder::BuilderType::Jit; STORM_LOG_WARN_COND(transformToJani || !transformToJaniForJit, "The JIT-based model builder is only available for JANI models, automatically converting the PRISM input model."); - transformToJani |= transformToJaniForJit; + bool transformToJaniForDdMA = (builderType == storm::builder::BuilderType::Dd) && (input.model->getModelType() == storm::storage::SymbolicModelDescription::ModelType::MA); + STORM_LOG_WARN_COND(transformToJani || !transformToJaniForDdMA, "Dd-based model builder for Markov Automata is only available for JANI models, automatically converting the PRISM input model."); + transformToJani |= (transformToJaniForJit || transformToJaniForDdMA); if (transformToJani) { storm::prism::Program const& model = output.model.get().asPrismProgram();