From 4f4ca5530c912773949c7658eac006a6e1df6226 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Tue, 10 Oct 2023 09:18:55 +0200 Subject: [PATCH] call -sf_no_callback when starting probcli to inform Prolog that no parser callbacks are available (yet) Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de> --- de.prob.core/src/de/prob/cli/CliStarter.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java index 972c94fd..a182220c 100644 --- a/de.prob.core/src/de/prob/cli/CliStarter.java +++ b/de.prob.core/src/de/prob/cli/CliStarter.java @@ -1,5 +1,5 @@ /** - * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, + * (c) 2009-2023 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, * Heinrich Heine Universitaet Duesseldorf * This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html) * */ @@ -87,7 +87,7 @@ public final class CliStarter { List<String> command = new ArrayList<String>(); command.add(executable); // command.add("-ll"); - command.add("-sf"); + command.add("-sf_no_callback"); // start socket server on free port; no parser call backs available in ProB1 command.add("-p");command.add("use_safety_ltl_model_checker");command.add("false"); // disable LTL safety model check as the counter examples lead to assertion failures // in CounterExampleProposition in CounterExample.java -- GitLab