From 365950b2cbd48a2d1be820d007179b01c19d8d9f Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 8 Oct 2019 18:30:53 +0200
Subject: [PATCH] update message
for dynamic assertion check
---
.../de/prob/ui/assertion/AssertionDynCheckFinishedListener.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.ui/src/de/prob/ui/assertion/AssertionDynCheckFinishedListener.java b/de.prob.ui/src/de/prob/ui/assertion/AssertionDynCheckFinishedListener.java
index f8defdbc..ee383a46 100644
--- a/de.prob.ui/src/de/prob/ui/assertion/AssertionDynCheckFinishedListener.java
+++ b/de.prob.ui/src/de/prob/ui/assertion/AssertionDynCheckFinishedListener.java
@@ -60,7 +60,7 @@ public class AssertionDynCheckFinishedListener extends ProBJobFinishedListener {
case COUNTER_EXAMPLE:
dialogType = MessageDialog.WARNING;
dialogTitle = "COUNTER-EXAMPLE FOUND!";
- message = "A counter-example to the invariant theorems was found: it will be shown in the state view.\nThis counter-example state satisfies the invariants but may not be reachable from the initialisation.";
+ message = "A counter-example to the invariant theorems was found: it will be shown in the state view.\nThis counter-example state satisfies the invariants but not all theorems. It may not be reachable from the initialisation.";
displayCounterExample(command, animator);
break;
case INTERRUPTED:
--
GitLab