src/tgbatest/ltl2tgba.cc · b1800e382c304eccb275fb29e1339215b1cbf082 · Spot / Spot

Jan 28, 2005

* src/tgbatest/dfs.test, src/tgbatest/emptchk.test, · b1800e38

Denis Poitrenaud authored Jan 28, 2005

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

* src/tgbatest/dfs.test, src/tgbatest/emptchk.test,

Denis Poitrenaud authored Jan 28, 2005

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.