-
Alexandre Duret-Lutz authored
* spot/twaalgos/sccinfo.hh, spot/twaalgos/sccinfo.cc: Add an optional argument to abort on accepting SCC, to not keep track of SCC states, and some one_accepting_scc() method. * NEWS: Mention it. * bin/ltlcross.cc, spot/twaalgos/alternation.cc, spot/twaalgos/cobuchi.cc, spot/twaalgos/degen.cc, spot/twaalgos/determinize.cc, spot/twaalgos/dtbasat.cc, spot/twaalgos/dtwasat.cc, spot/twaalgos/isunamb.cc, spot/twaalgos/powerset.cc, spot/twaalgos/remfin.cc, spot/twaalgos/sbacc.cc, spot/twaalgos/sccfilter.cc, spot/twaalgos/totgba.cc: Adjust arguments passed to scc_info.
9ca5b8c2