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 8f80728211ecfa1535700c72ab202b85cacb7360..3081f89c204cc77fd1721fbf70153c1fc658e1ea 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) {