From df55853fdcbb25e9281238e27f2a7560feba240f Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 9 Nov 2023 12:24:29 +0100
Subject: [PATCH] add -prob_application_type rodin at probcli startup
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
de.prob.core/src/de/prob/cli/CliStarter.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 1c6b9521..e6566a7f 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
--
GitLab