2 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	9b82d7557c	ltlcross: add a --products=N option ... * src/bin/ltlcross.cc: Implement the new option. Average the product statistics on all products. * src/tgbatest/basimul.test, src/tgbatest/ltlcross.test, src/tgbatest/ltlcross2.test, bench/ltl2tgba/tools: Use the new option. * NEWS: Mention it.	2013-05-12 21:22:46 +02:00
Alexandre Duret-Lutz	f3ef9de0be	rename ltlcheck as ltlcross ... * src/bin/ltlcheck.cc, src/bin/man/ltlcheck.x, src/tgbatest/ltlcheck.test, src/tgbatest/ltlcheck2.test: Rename as ... * src/bin/ltlcross.cc, src/bin/man/ltlcross.x, src/tgbatest/ltlcross.test, src/tgbatest/ltlcross2.test: ... these. * NEWS, src/bin/Makefile.am, src/bin/man/Makefile.am, src/tgbatest/Makefile.am: Adjust.	2012-10-21 13:23:02 +02:00

Renamed from src/tgbatest/ltlcheck.test (Browse further)