-
Alexandre Duret-Lutz authored
Because benchmark show that this option usually do not help. * src/tgbaalgos/degen.hh, src/tgbatest/ltl2tgba.cc: Here. * src/tgbaalgos/degen.hh: Document the new options.
73ee5044
Because benchmark show that this option usually do not help. * src/tgbaalgos/degen.hh, src/tgbatest/ltl2tgba.cc: Here. * src/tgbaalgos/degen.hh: Document the new options.