From 5533d551837bd9ed121629f78cfe5f89fbb7a63e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 7 Jan 2012 00:54:11 +0000 Subject: [PATCH] Consistency in output msgs (explicit MDP engine). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4338 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/MDPModelChecker.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java index ca6a3390..a385eb24 100644 --- a/prism/src/explicit/MDPModelChecker.java +++ b/prism/src/explicit/MDPModelChecker.java @@ -262,7 +262,7 @@ public class MDPModelChecker extends ProbModelChecker // Start probabilistic reachability timer = System.currentTimeMillis(); - mainLog.println("Starting probabilistic reachability..."); + mainLog.println("Starting probabilistic reachability (" + (min ? "min" : "max") + ")..."); // Check for deadlocks in non-target state (because breaks e.g. prob1) mdp.checkForDeadlocks(target); @@ -609,7 +609,7 @@ public class MDPModelChecker extends ProbModelChecker // Start value iteration timer = System.currentTimeMillis(); - mainLog.println("Starting Gauss-Seidel..."); + mainLog.println("Starting Gauss-Seidel (" + (min ? "min" : "max") + ")..."); // Store num states n = mdp.getNumStates(); @@ -915,7 +915,7 @@ public class MDPModelChecker extends ProbModelChecker // Start bounded probabilistic reachability timer = System.currentTimeMillis(); - mainLog.println("Starting bounded probabilistic reachability..."); + mainLog.println("Starting bounded probabilistic reachability (" + (min ? "min" : "max") + ")..."); // Store num states n = mdp.getNumStates(); @@ -1007,7 +1007,7 @@ public class MDPModelChecker extends ProbModelChecker // Start expected reachability timer = System.currentTimeMillis(); - mainLog.println("Starting expected reachability..."); + mainLog.println("Starting expected reachability (" + (min ? "min" : "max") + ")..."); // Check for deadlocks in non-target state (because breaks e.g. prob1) mdp.checkForDeadlocks(target);