From d7e8684d383236f58d15f419233ebf70320bf1f0 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 5 Oct 2012 16:38:35 +0200 Subject: [PATCH] * src/bin/ltlcheck.cc: Improve example in --help. --- src/bin/ltlcheck.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/bin/ltlcheck.cc b/src/bin/ltlcheck.cc index 4807857ca..2bbc574f9 100644 --- a/src/bin/ltlcheck.cc +++ b/src/bin/ltlcheck.cc @@ -54,8 +54,8 @@ bugs, or to gather statistics. The list of formula to use should be \ supplied on standard input, or using the -f or -F options.\v\ Examples:\n\ \n\ - Compare neverclaim produced by ltl2tgba and spin for some random formulas:\n\ - % randltl --tree-size 20..30 a b c | \\\n\ + Compare neverclaim produced by ltl2tgba and spin for 100 random formulas:\n\ + % randltl -n 100 --tree-size 20..30 a b c | \\\n\ ltlcheck 'ltl2tgba -s %f > %N' 'spin -f %s > %N'\n\ ";