From 4144730b142bd645c4219678472ff72f248f8ac9 Mon Sep 17 00:00:00 2001 From: Jens Bendisposto <jens@bendisposto.de> Date: Sat, 12 Apr 2014 08:55:32 +0200 Subject: [PATCH] fix PROBPLUGIN-102 --- de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java b/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java index 31c294f4..5e5858fe 100644 --- a/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java +++ b/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java @@ -22,7 +22,7 @@ public final class ModelCheckingCommand implements IComposableCommand { public static enum Result { ok(true), ok_not_all_nodes_considered(true), deadlock(true), invariant_violation( true), assertion_violation(true), not_yet_finished(false), state_error( - true), well_definedness_error(true), general_error(true); + true), well_definedness_error(true), general_error(true),full_coverage(true); // I assume true means we can stop the model checking private final boolean abort; -- GitLab