• martinez's avatar
    * src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh, · 9ce68888
    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