Skip to content
Snippets Groups Projects
Commit 1c1f84e6 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

fix PROBPLUGIN-102 (Rodin 2)

parent 4548b4f7
No related branches found
No related tags found
No related merge requests found
......@@ -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;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment