From df53058dd49cb519a9e4ca5e8604f75d4fcf604f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 9 Aug 2013 09:38:41 +0000 Subject: [PATCH] Typo in model checking message. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7267 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/StateModelChecker.java | 2 +- prism/src/prism/StateModelChecker.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java index 714df8f4..bd147074 100644 --- a/prism/src/explicit/StateModelChecker.java +++ b/prism/src/explicit/StateModelChecker.java @@ -924,7 +924,7 @@ public class StateModelChecker extends PrismComponent if (bsMatch != null) { states = StateValues.createFromBitSet(bsMatch, model); mainLog.print("\nThere are " + bsMatch.cardinality() + " states with "); - mainLog.print(expr.getType() instanceof TypeDouble ? "(approximately) " : "" + "this value"); + mainLog.print((expr.getType() instanceof TypeDouble ? "(approximately) " : "") + "this value"); boolean verbose = verbosity > 0; // TODO if (!verbose && bsMatch.cardinality() > 10) { mainLog.print(".\nThe first 10 states are displayed below. To view them all, enable verbose mode or use a print filter.\n"); diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java index 556d1c2b..003846fd 100644 --- a/prism/src/prism/StateModelChecker.java +++ b/prism/src/prism/StateModelChecker.java @@ -1344,7 +1344,7 @@ public class StateModelChecker implements ModelChecker if (ddMatch != null) { states = new StateListMTBDD(ddMatch, model); mainLog.print("\nThere are " + states.sizeString() + " states with "); - mainLog.print(expr.getType() instanceof TypeDouble ? "(approximately) " : "" + "this value"); + mainLog.print((expr.getType() instanceof TypeDouble ? "(approximately) " : "") + "this value"); if (!verbose && (states.size() == -1 || states.size() > 10)) { mainLog.print(".\nThe first 10 states are displayed below. To view them all, enable verbose mode or use a print filter.\n"); states.print(mainLog, 10);