-
Thomas Martinez authored
src/tgbaalgos/reductgba_sim.cc, src/tgbaalgos/reductgba_sim.hh, src/tgbaalgos/reductgba_sim_del.cc: Remove some comments. * src/tgbatest/ltl2tgba.cc, src/tgbatest/reductgba.cc: Adjust ... * src/tgbatest/spotlbtt.test: More test (delayed simulation)
9ce68888