-
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.
Denis Poitrenaud authoredsrc/tgbatest/emptchke.test, src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc, src/tgbatest/tba_samples_from_spin.test: Adjust names of emptiness check algorithms.
Loading