From 564a7354e6a8e8b2e17f54f1a25a1392e90dec8d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 6 Mar 2010 22:13:34 +0000 Subject: [PATCH] Output typos. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1791 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/DTMCModelChecker.java | 2 +- prism/src/explicit/MDPModelChecker.java | 2 +- prism/src/explicit/STPGModelChecker.java | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java index 27b7faa1..d799aae8 100644 --- a/prism/src/explicit/DTMCModelChecker.java +++ b/prism/src/explicit/DTMCModelChecker.java @@ -431,7 +431,7 @@ public class DTMCModelChecker extends ModelChecker // Finished bounded probabilistic reachability timer = System.currentTimeMillis() - timer; - mainLog.print("Probabilistic bounded reachability"); + mainLog.print("Bounded probabilistic reachability"); mainLog.println(" took " + iters + " iters and " + timer / 1000.0 + " seconds."); // Return results diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java index 66452d73..b3dbdca1 100644 --- a/prism/src/explicit/MDPModelChecker.java +++ b/prism/src/explicit/MDPModelChecker.java @@ -477,7 +477,7 @@ public class MDPModelChecker extends ModelChecker // Finished bounded probabilistic reachability timer = System.currentTimeMillis() - timer; - mainLog.print("Probabilistic bounded reachability (" + (min ? "min" : "max") + ")"); + mainLog.print("Bounded probabilistic reachability (" + (min ? "min" : "max") + ")"); mainLog.println(" took " + iters + " iters and " + timer / 1000.0 + " seconds."); // Return results diff --git a/prism/src/explicit/STPGModelChecker.java b/prism/src/explicit/STPGModelChecker.java index 7e6c77e2..8c6d17d1 100644 --- a/prism/src/explicit/STPGModelChecker.java +++ b/prism/src/explicit/STPGModelChecker.java @@ -495,7 +495,7 @@ public class STPGModelChecker extends ModelChecker // Finished bounded probabilistic reachability timer = System.currentTimeMillis() - timer; - mainLog.print("Probabilistic bounded reachability (" + (min1 ? "min" : "max") + (min2 ? "min" : "max") + ")"); + mainLog.print("Bounded probabilistic reachability (" + (min1 ? "min" : "max") + (min2 ? "min" : "max") + ")"); mainLog.println(" took " + iters + " iters and " + timer / 1000.0 + " seconds."); // Return results