alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* NEWS: Typoa.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-09-14 16:47:33 +02:00
parent 851502ab93
commit 3bb881218f
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -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.