Skip to content

rename src/tgbatest/ltl2tgba

People use this program for doing benchmarks, as if it was meant as a user tool. The problem is that unless you know exactly what algorithms you should chain to obtain your desired output, the output will be crap.

I suggest to rename this tool as spottest to make its intent clear. We then have to adjust all tests that use ../ltl2tgba (but not ../../bin/ltl2tgba!) so they use ../spottest