From 3bb881218f6a786df8590bce2b0b70d31dc40610 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 14 Sep 2016 16:47:33 +0200 Subject: [PATCH] * NEWS: Typoa. --- NEWS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index 86707167b..f23ebcfe3 100644 --- a/NEWS +++ b/NEWS @@ -3,7 +3,7 @@ New in spot 2.1.0a (not yet released) Command-line tools: * ltlfilt, randltl, genltl, and ltlgrind learned to display the size - (%s), Boolean size (%b), and number of atomic propositions (%b) + (%s), Boolean size (%b), and number of atomic propositions (%a) with the --format and --output options. A typical use is to sort formulas by size: genltl --dac --format='%s,%f' | sort -n | cut -d, -f2 @@ -14,7 +14,7 @@ New in spot 2.1.0a (not yet released) to complete the existing %d, %n, %p, and %w. * The --stats %c option of ltl2tgba, autfilt, ltldo, and dstar2tgba - now accepts option to filter the SCCs to count. For instance + now accepts options to filter the SCCs to count. For instance --stats='%[awT]c' will count the SCCs that are (a)ccepting and (w)eak, but (not t)erminal. See --help for all supported filters.