From 1c1f84e65d6d9c88f17d96c451f2959120d096ad Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 17 Apr 2014 09:58:43 +0200
Subject: [PATCH] fix PROBPLUGIN-102 (Rodin 2)
---
.../src/de/prob/core/command/ModelCheckingCommand.java | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
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..63954e8d 100644
--- a/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ModelCheckingCommand.java
@@ -20,9 +20,9 @@ public final class ModelCheckingCommand implements IComposableCommand {
private ModelCheckingResult<Result> result;
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);
+ 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), full_coverage(true);
// I assume true means we can stop the model checking
private final boolean abort;
--
GitLab