From 6acd03a142f39c1c36c0c73bd677e8fe5d435570 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 21 Apr 2016 17:13:13 +0200 Subject: [PATCH] =?UTF-8?q?doc:=20ltlcross=20is=20not=20only=20about=20B?= =?UTF-8?q?=C3=BCchi=20anymore?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * bin/man/ltlcross.x, doc/org/ltlcross.org, doc/org/tools.org: Fix one-line summaries. --- bin/man/ltlcross.x | 2 +- doc/org/ltlcross.org | 2 +- doc/org/tools.org | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/man/ltlcross.x b/bin/man/ltlcross.x index 30b8b5e81..295fbb195 100644 --- a/bin/man/ltlcross.x +++ b/bin/man/ltlcross.x @@ -1,6 +1,6 @@ .\" -*- coding: utf-8 -*- [NAME] -ltlcross \- cross-compare LTL/PSL translators to Büchi automata +ltlcross \- cross-compare LTL/PSL translators to omega-automata [EXAMPLES] The following commands compare never claims produced by .BR ltl2tgba (1), diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org index c0c3a9600..9db0e4e2a 100644 --- a/doc/org/ltlcross.org +++ b/doc/org/ltlcross.org @@ -3,7 +3,7 @@ #+SETUPFILE: setup.org #+HTML_LINK_UP: tools.html -=ltlcross= is a tool for cross-comparing the output of LTL-to-Büchi +=ltlcross= is a tool for cross-comparing the output of LTL-to-automata translators. It is actually a Spot-based clone of [[http://www.tcs.hut.fi/Software/lbtt/][LBTT]], the /LTL-to-Büchi Translator Testbench/, that essentially performs the same sanity checks. diff --git a/doc/org/tools.org b/doc/org/tools.org index f36d69968..f3dfc641c 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -43,7 +43,7 @@ corresponding commands are hidden. - [[file:genltl.org][=genltl=]] Generate LTL formulas from scalable patterns. - [[file:ltl2tgba.org][=ltl2tgba=]] Translate LTL/PSL formulas into Büchi automata. - [[file:ltl2tgta.org][=ltl2tgta=]] Translate LTL/PSL formulas into Testing automata. -- [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-Büchi translators. +- [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-automata translators. - [[file:ltlgrind.org][=ltlgrind=]] List formulas similar to but simpler than a given LTL/PSL formula - [[file:dstar2tgba.org][=dstar2tgba=]] Convert automata with any acceptance into variants of