-
Alexandre Duret-Lutz authored
* src/tgba/tgbagraph.cc (merge_transitions): Disable acceptance merging if Fin acceptance is used. * src/tgbaalgos/degen.cc, src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc, src/tgbaalgos/isweakscc.cc, src/tgbaalgos/lbtt.cc, src/tgbaalgos/minimize.cc, src/tgbaalgos/neverclaim.cc, src/tgbaalgos/safety.cc, src/tgbaalgos/sccfilter.cc, src/tgbaalgos/simulation.cc: Throw an exception if an unsupported type of acceptance is received.
f0b1b943