Commit 0235e5e4 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

hopefully fix setting safety mc preference upon startup

parent 2c59e5b6
...@@ -84,8 +84,8 @@ public final class CliStarter { ...@@ -84,8 +84,8 @@ public final class CliStarter {
command.add(executable); command.add(executable);
// command.add("-ll"); // command.add("-ll");
command.add("-sf"); command.add("-sf");
command.add("-parsercp");
command.add("-p");command.add("use_safety_ltl_model_checker");command.add("false"); 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 // disable LTL safety model check as the counter examples lead to assertion failures
// in CounterExampleProposition in CounterExample.java // in CounterExampleProposition in CounterExample.java
command.add(fullcp); command.add(fullcp);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment