From 4f986400f11bf29b301c9ab3973c79b0ae82cfdb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 27 Jul 2013 12:23:22 +0200 Subject: [PATCH] * src/bin/man/ltlcross.x: Typo. --- src/bin/man/ltlcross.x | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/man/ltlcross.x b/src/bin/man/ltlcross.x index 4e56c9541..c96e7509a 100644 --- a/src/bin/man/ltlcross.x +++ b/src/bin/man/ltlcross.x @@ -15,7 +15,7 @@ ltlcross \-T120 'ltl2tgba \-s %f >%N' 'spin \-f %s >%N' \-\-json=results.json .fi .LP -The next command compare lbt, ltl3ba, and ltl2tgba(1) on a set of +The next command compares lbt, ltl3ba, and ltl2tgba(1) on a set of formulas saved in file \f(CWinput.ltl\fR. Statistics are again writen as CSV into \f(CWresults.csv\fR. Note the use of \f(CW%L\fR to indicate that the formula passed to lbt should be written into a file