From 2b721fad721227293fe1bb9351ea9caf6283dabe Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Wed, 18 Feb 2015 12:40:44 +0100
Subject: [PATCH] no longer show trace of state ids in ModelChecking result
dialog
---
.../src/de/prob/ui/eventb/ModelCheckingFinishedListener.java | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java b/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java
index 1da3693b..3cde356c 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingFinishedListener.java
@@ -134,8 +134,9 @@ public class ModelCheckingFinishedListener extends JobChangeAdapter {
StringBuffer sb = new StringBuffer();
sb.append("Invariant violation found.\n");
sb.append("ProB has detected a state that violates the invariant.\n");
- sb.append("The following is the trace that led to the violation:\n");
- appendTrace(trace, sb);
+ // no longer show trace of state ids to user; not very useful
+ //sb.append("The following is the trace that led to the violation:\n");
+ //appendTrace(trace, sb);
return sb.toString();
}
--
GitLab