From f2f95f63cdca24cdf659e7100ce44d63779786db Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Thu, 13 Feb 2014 12:48:33 +0100
Subject: [PATCH] try and adapt Model Checking Dialog text
hope it works
Signed-off-by: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
---
de.prob.ui/src/de/prob/ui/eventb/ModelCheckingJob.java | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingJob.java b/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingJob.java
index 8f807282..3081f89c 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingJob.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ModelCheckingJob.java
@@ -54,10 +54,11 @@ public class ModelCheckingJob extends Job {
options.remove("inspect_existing_nodes");
monitor.setTaskName("Model Checking - States: "
- + modelCheckingResult.getNumStates() + " Transitions: "
- + modelCheckingResult.getNumTransitions()
- + " Processed States: "
- + modelCheckingResult.getProcessedTotal());
+ + modelCheckingResult.getNumStates()
+ + " (processed "
+ + modelCheckingResult.getProcessedTotal()
+ + ") - Transitions: "
+ + modelCheckingResult.getNumTransitions());
int difference = modelCheckingResult.getWorked() - workedSoFar;
if (difference > 0) {
--
GitLab