-
Denis Poitrenaud authored
src/tgbatest/emptchke.test, src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc, src/tgbatest/tba_samples_from_spin.test: Adjust names of emptiness check algorithms.
b1800e38
To find the state of this project's repository at the time of any of these versions, check out the tags.