-
Thomas Medioni authored
When an acceptance condition is not Streett-like, is_streett_like now clears the rs_pair vector parameter before returning. Fixes #270. * spot/twa/acc.cc: Clear the pair vector. * spot/twaalgos/totgba.cc: Stop calling streett_to_generalized_buchi() when the acceptance condition is not Streett-like.
fc609057