-
* bench/ltl2tgba/lbtt2csv.pl: Write a perl script to change the format outputted by `lbtt' into a csv format. * bench/ltl2tgba/Makefile.am: Add the script to EXTRA_DIST.
3acc53d5
* bench/ltl2tgba/lbtt2csv.pl: Write a perl script to change the format outputted by `lbtt' into a csv format. * bench/ltl2tgba/Makefile.am: Add the script to EXTRA_DIST.