@Override
public void run(WorkspaceEntry we) {
final CheckDeadlockTask task = new CheckDeadlockTask(we);
String description = "MPSat tool chain";
String title = we.getTitle();
if (!title.isEmpty()) {
description += "(" + title + ")";
}
final Framework framework = Framework.getInstance();
final TaskManager taskManager = framework.getTaskManager();
final MpsatChainResultHandler monitor = new MpsatChainResultHandler(task);
taskManager.queue(task, description, monitor);
}
