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

call -sf_no_callback when starting probcli


to inform Prolog that no parser callbacks are available (yet)

Signed-off-by: default avatarMichael Leuschel <leuschel@uni-duesseldorf.de>
parent cc64c92a
Branches
No related tags found
No related merge requests found
Pipeline #122219 passed
/** /**
* (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, * (c) 2009-2023 Lehrstuhl fuer Softwaretechnik und Programmiersprachen,
* Heinrich Heine Universitaet Duesseldorf * Heinrich Heine Universitaet Duesseldorf
* This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html) * 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 { ...@@ -87,7 +87,7 @@ public final class CliStarter {
List<String> command = new ArrayList<String>(); List<String> command = new ArrayList<String>();
command.add(executable); command.add(executable);
// command.add("-ll"); // 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"); 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 // disable LTL safety model check as the counter examples lead to assertion failures
// in CounterExampleProposition in CounterExample.java // in CounterExampleProposition in CounterExample.java
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment