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

Augment the size of the ltlclasses benchmark.

Browse source 
* bench/ltlclasses/run: Augment the max size to 20.
* bench/ltlcounter/run: Typo in comment.
This commit is contained in:
Alexandre Duret-Lutz 2010-12-10 10:12:20 +01:00
parent 1dd524ebce
commit 87ee1cfe7d
3 changed files with 11 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2010-12-10 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Augment the size of the ltlclasses benchmark.
* bench/ltlclasses/run: Augment the max size to 20.
* bench/ltlcounter/run: Typo in comment.
2010-12-10 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Introduce -ks to print only the size of the automaton (without