diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java index 1c6b9521497d27a602e26ba870ecb13b3311491e..e6566a7faeaa3ac96aa307debb986cae5a8b1964 100644 --- a/de.prob.core/src/de/prob/cli/CliStarter.java +++ b/de.prob.core/src/de/prob/cli/CliStarter.java @@ -89,6 +89,7 @@ public final class CliStarter { // command.add("-ll"); command.add("-sf"); 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 // in CounterExampleProposition in CounterExample.java