Skip to content
Snippets Groups Projects
Commit f2f95f63 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

try and adapt Model Checking Dialog text


hope it works

Signed-off-by: default avatarMichael Leuschel <leuschel@cs.uni-duesseldorf.de>
parent b03817cb
No related branches found
No related tags found
No related merge requests found
...@@ -54,10 +54,11 @@ public class ModelCheckingJob extends Job { ...@@ -54,10 +54,11 @@ public class ModelCheckingJob extends Job {
options.remove("inspect_existing_nodes"); options.remove("inspect_existing_nodes");
monitor.setTaskName("Model Checking - States: " monitor.setTaskName("Model Checking - States: "
+ modelCheckingResult.getNumStates() + " Transitions: " + modelCheckingResult.getNumStates()
+ modelCheckingResult.getNumTransitions() + " (processed "
+ " Processed States: " + modelCheckingResult.getProcessedTotal()
+ modelCheckingResult.getProcessedTotal()); + ") - Transitions: "
+ modelCheckingResult.getNumTransitions());
int difference = modelCheckingResult.getWorked() - workedSoFar; int difference = modelCheckingResult.getWorked() - workedSoFar;
if (difference > 0) { if (difference > 0) {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment