From 2cda41e244c356b06efe6b91aa9c0b754406a8fe Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 30 May 2016 16:27:04 +0200 Subject: [PATCH] * doc/org/tut04.org: Typos. --- doc/org/tut04.org | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/org/tut04.org b/doc/org/tut04.org index 1d9344570..83961f0fa 100644 --- a/doc/org/tut04.org +++ b/doc/org/tut04.org @@ -4,7 +4,7 @@ #+SETUPFILE: setup.org #+HTML_LINK_UP: tut.html -This page show how to test whether two LTL/PSL formulas are equal. +This page shows how to test whether two LTL/PSL formulas are equal. * Shell @@ -18,8 +18,9 @@ ltlfilt -f '(a U b) U a' --equivalent-to 'b U a' #+RESULTS: : (a U b) U a -Since input formula was output, it means it is equivalent. Adding -=-c= to count the number for formula output provide a yes/no answer. +Since the input formula was output, it means it is equivalent to =b U +a=. You may want to add =-c= to count the number of formula output if +you prefer a 1/0 answer: #+BEGIN_SRC sh :results verbatim :exports both ltlfilt -c -f '(a U b) U a' --equivalent-to 'b U a' -- GitLab