From 1630ce864f76bc8725cc9b6c561fc5c7ab20d395 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 23 Dec 2012 14:53:56 +0000 Subject: [PATCH] Upgrade from warning to error: non-support of state rewards in multi-obj model checking. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6276 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index 3c4a9133..f91d7ef8 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -373,8 +373,7 @@ public class NondetModelChecker extends NonProbModelChecker //check if there are state rewards and display a warning if (stateRewards != null && !stateRewards.equals(JDD.ZERO)) - mainLog.printWarning("Multi-objective queries currently only support action rewards. State rewards were found, but will be ignored."); - + throw new PrismException("Multi-objective model checking does not support state rewards; please convert to transition rewards"); if (transRewards == null) throw new PrismException("Invalid reward structure index \"" + rs + "\""); rewardsIndex.add(transRewards);