From 38039f1cadfd0c61041027b94a87c684e99174ea Mon Sep 17 00:00:00 2001 From: Vojtech Forejt Date: Wed, 2 Mar 2011 21:46:47 +0000 Subject: [PATCH] typo in -help, typos in output messages git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2489 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 4 ++-- prism/src/prism/PrismCL.java | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index c978972e..4e667f7e 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -1124,7 +1124,7 @@ public class NondetModelChecker extends NonProbModelChecker break; case Prism.HYBRID: throw new PrismException( - "Hybrid engine does not yet supported this type of property (use sparse or MTBDD engine instead)"); + "Hybrid engine does not yet support this type of property (use sparse or MTBDD engine instead)"); default: throw new PrismException("Unknown engine"); } @@ -1246,7 +1246,7 @@ public class NondetModelChecker extends NonProbModelChecker break; case Prism.HYBRID: throw new PrismException( - "Hybrid engine does not yet supported this type of property (use sparse or MTBDD engine instead)"); + "Hybrid engine does not yet support this type of property (use sparse or MTBDD engine instead)"); // rewardsDV = PrismHybrid.NondetReachReward(tr, sr, trr, // odd, allDDRowVars, allDDColVars, allDDNondetVars, b, inf, // maybe, min); diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 54602734..09b993ec 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -2013,7 +2013,7 @@ public class PrismCL mainLog.println("-nofair ........................ Don't use fairness (for probabilistic reachability in MDPs) [default]"); mainLog.println("-fixdl ......................... Automatically put self-loops in deadlock states"); mainLog.println("-noprobchecks .................. Disable checks on model probabilities/rates"); - mainLog.println("-zerorewardchecks .............. Check for absence of zero-reward loops"); + mainLog.println("-zerorewardcheck ............... Check for absence of zero-reward loops"); mainLog.println("-nossdetect .................... Disable steady-state detection for CTMC transient computations"); mainLog.println("-sccmethod .............. Specify SCC computation method (xiebeerel, lockstep, sccfind)"); mainLog.println();