-
Alexandre Duret-Lutz authored
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.
1dd524eb
To find the state of this project's repository at the time of any of these versions, check out the tags.