Skip to content
Snippets Groups Projects
Commit df55853f authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add -prob_application_type rodin at probcli startup 


Signed-off-by: default avatarMichael Leuschel <leuschel@uni-duesseldorf.de>
parent 313aaaa4
No related branches found
No related tags found
No related merge requests found
Pipeline #124237 passed
Stage: build
Stage: deploy
Show whitespace changes
Inline Side-by-side
de.prob.core/src/de/prob/cli/CliStarter.java
+ 1
− 0
View file @ df55853f
...@@ -89,6 +89,7 @@ public final class CliStarter { ...@@ -89,6 +89,7 @@ public final class CliStarter {
// command.add("-ll"); // command.add("-ll");
command.add("-sf"); command.add("-sf");
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("-prob_application_type");command.add("rodin"); // supported as of 9/11/2023
// 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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment