From 48aa91d9622c1883efe985a0cc0aaf28ad59a3a9 Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Thu, 19 Sep 2024 21:48:38 +0100
Subject: [PATCH] Add the PO# in unsatisfiable failures

---
 .../src/main/java/quickcheck/plugin/QuickCheckThread.java  | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/quickcheck/src/main/java/quickcheck/plugin/QuickCheckThread.java b/quickcheck/src/main/java/quickcheck/plugin/QuickCheckThread.java
index 564a84157..7eaede3e6 100644
--- a/quickcheck/src/main/java/quickcheck/plugin/QuickCheckThread.java
+++ b/quickcheck/src/main/java/quickcheck/plugin/QuickCheckThread.java
@@ -205,7 +205,12 @@ private JSONObject getQCResponse(ProofObligation po, List<VDMMessage> messages)
 		{
 			if (po.message != null)		// Add failed messages as a warning too
 			{
-				messages.add(new VDMWarning(9000, po.message, po.location));
+				StringBuilder sb = new StringBuilder();
+				sb.append("PO #");
+				sb.append(po.number);
+				sb.append(" ");
+				sb.append(po.message);
+				messages.add(new VDMWarning(9000, sb.toString(), po.location));
 			}
 		}