3 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	87ee1cfe7d	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 10:12:20 +01:00
Alexandre Duret-Lutz	1dd524ebce	Introduce -ks to print only the size of the automaton (without ... SCC information). * src/tgbatest/ltl2tgba.cc (syntax, main): Add a -ks option. * src/tgbatest/ltl2tgba.test, bench/ltlclasses/run, bench/ltlcounter/run: Use -ks instead of -k to speed things up.	2010-12-10 10:02:53 +01:00
Alexandre Duret-Lutz	3ce1627251	Add a benchmark using Kristin Y. Rozier's LTLcounter scripts. ... * bench/ltlcounter/README, bench/ltlcounter/run, bench/ltlcounter/plot.gnu, bench/ltlcounter/defs.in, bench/ltlcounter/Makefile.am: New files. * bench/Makefile.am (SUBDIRS): Add ltlcounter. * configure.ac (AC_CONFIG_FILES): Adjust. * THANKS: Add her.	2009-11-09 12:15:24 +01:00