From 0235e5e49aaa8c0c366e6b3429411d7bb6fb2e02 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 11 Jun 2021 16:30:38 +0200
Subject: [PATCH] hopefully fix setting safety mc preference upon startup
---
de.prob.core/src/de/prob/cli/CliStarter.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index f160beec..35fe5758 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -84,8 +84,8 @@ public final class CliStarter {
command.add(executable);
// command.add("-ll");
command.add("-sf");
- command.add("-parsercp");
command.add("-p");command.add("use_safety_ltl_model_checker");command.add("false");
+ command.add("-parsercp");
// disable LTL safety model check as the counter examples lead to assertion failures
// in CounterExampleProposition in CounterExample.java
command.add(fullcp);
--
GitLab