From cd4d587c9bf3bfd1d28d45f70d3c3dc8a2600f38 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 16 Jul 2020 10:26:34 +0100
Subject: [PATCH] Multi-objective: print points during Pareto curve generation.

---
 prism/src/prism/MultiObjModelChecker.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/prism/MultiObjModelChecker.java b/prism/src/prism/MultiObjModelChecker.java
index 3b5ea157..51b91ab9 100644
--- a/prism/src/prism/MultiObjModelChecker.java
+++ b/prism/src/prism/MultiObjModelChecker.java
@@ -979,6 +979,7 @@ public class MultiObjModelChecker extends PrismComponent
 
 			//collect the numbers obtained from methods executed above.
 			Point newPoint = new Point(result);
+			mainLog.println("Computed point: " + newPoint);
 
 			if (verbose) {
 				mainLog.println("\n" + numberOfPoints + ": New point is " + newPoint + ".");