From 90fb7b1cd9ce4fa8a0095fdebc291482bbb0d764 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 11 Sep 2024 11:38:12 +0200 Subject: [PATCH] * doc/org/ltlmix.org: Fix example. --- doc/org/ltlmix.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/ltlmix.org b/doc/org/ltlmix.org index c62a649e5..d68cc937b 100644 --- a/doc/org/ltlmix.org +++ b/doc/org/ltlmix.org @@ -476,7 +476,7 @@ conflict. Therefore, increasing the number of atomic propositions to chose from may help to get more realizable formulas. #+BEGIN_SRC sh :exports both :epilogue true - genltl --lily=8..11 | ltlmix -A50,50 -C3 -n6 | ltlsynt -q + genltl --lily=8..11 | ltlmix -A50,50 -C3 -n6 | ltlsynt --realizability #+END_SRC #+RESULTS: