From 114b285e19384c19f122a63896a68596a75613b5 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 30 May 2013 21:19:52 +0000 Subject: [PATCH] Bugfix: verbose mode displaying of vectors was not working in explicit engine. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6816 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/ProbModelChecker.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/explicit/ProbModelChecker.java b/prism/src/explicit/ProbModelChecker.java index 6e06c300..6024c782 100644 --- a/prism/src/explicit/ProbModelChecker.java +++ b/prism/src/explicit/ProbModelChecker.java @@ -491,7 +491,7 @@ public class ProbModelChecker extends StateModelChecker // Print out probabilities if (getVerbosity() > 5) { mainLog.print("\nProbabilities (non-zero only) for all states:\n"); - mainLog.print(probs); + probs.print(mainLog); } // For =? properties, just return values @@ -596,7 +596,7 @@ public class ProbModelChecker extends StateModelChecker // Print out probabilities if (getVerbosity() > 5) { mainLog.print("\nProbabilities (non-zero only) for all states:\n"); - mainLog.print(rews); + rews.print(mainLog); } // For =? properties, just return values @@ -649,7 +649,7 @@ public class ProbModelChecker extends StateModelChecker // Print out probabilities if (getVerbosity() > 5) { mainLog.print("\nProbabilities (non-zero only) for all states:\n"); - mainLog.print(probs); + probs.print(mainLog); } // For =? properties, just return values