From bd73bc0857410160f9df0ab19fcda158c982e6ea Mon Sep 17 00:00:00 2001 From: Vojtech Forejt Date: Mon, 21 Dec 2015 21:30:25 +0000 Subject: [PATCH] Minor stdout cleanup git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11064 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/MultiObjModelChecker.java | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/MultiObjModelChecker.java b/prism/src/prism/MultiObjModelChecker.java index 15921e0c..64e1281e 100644 --- a/prism/src/prism/MultiObjModelChecker.java +++ b/prism/src/prism/MultiObjModelChecker.java @@ -930,7 +930,7 @@ public class MultiObjModelChecker extends PrismComponent PrismNative.setExportAdv(exportAdvSetting); if (verbose) - mainLog.println("Points for initial tile: " + pointsForInitialTile); + mainLog.println("Points for the initial tile: " + pointsForInitialTile); Tile initialTile = new Tile(pointsForInitialTile); TileList tileList = new TileList(initialTile, opsAndBounds, tolerance); @@ -1017,8 +1017,10 @@ public class MultiObjModelChecker extends PrismComponent mainLog.println("Exported Pareto curve. To see it, run\n etc/scripts/prism-pareto.py " + paretoFile); } - mainLog.println("Computed " + tileList.getNumberOfDifferentPoints() + " points altogether:\n"); - mainLog.println(tileList.getPoints().toString()); + if (verbose) { + mainLog.print("Computed " + tileList.getNumberOfDifferentPoints() + " points altogether: "); + mainLog.println(tileList.getPoints().toString()); + } return tileList; }