From 59c5aeadeab8f3212f3444bbb0847cec683df98a Mon Sep 17 00:00:00 2001 From: Lukas Posch Date: Tue, 9 Mar 2021 18:32:23 +0100 Subject: [PATCH] changed message for boundedGloballyFormula --- src/storm/storage/jani/JSONExporter.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp index 84b0ed3c9..7de2329b7 100644 --- a/src/storm/storage/jani/JSONExporter.cpp +++ b/src/storm/storage/jani/JSONExporter.cpp @@ -236,7 +236,7 @@ namespace storm { auto tbr = f.getTimeBoundReference(i); if (tbr.isStepBound() || (model.isDiscreteTimeModel() && tbr.isTimeBound())) { - STORM_LOG_THROW(!hasStepBounds, storm::exceptions::NotSupportedException, "Jani export of until formulas with multiple step bounds is not supported."); + STORM_LOG_THROW(!hasStepBounds, storm::exceptions::NotSupportedException, "Jani export of bounded globally formulas with multiple step bounds is not supported."); hasStepBounds = true; opDecl["step-bounds"] = propertyInterval; } else if(tbr.isRewardBound()) { @@ -250,7 +250,7 @@ namespace storm { rewbound["bounds"] = propertyInterval; rewardBounds.push_back(std::move(rewbound)); } else { - STORM_LOG_THROW(!hasTimeBounds, storm::exceptions::NotSupportedException, "Jani export of globally formulas with multiple time bounds is not supported."); + STORM_LOG_THROW(!hasTimeBounds, storm::exceptions::NotSupportedException, "Jani export of bounded globally formulas with multiple time bounds is not supported."); hasTimeBounds = true; opDecl["time-bounds"] = propertyInterval; }