-
Alexandre GBAGUIDI AISSE authored
* spot/twaalgos/cobuchi.cc: Add scc_info_options::TRACK_SUCCS in nsa_to_nca(). * spot/twaalgos/sccinfo.cc: Add scc_info_options::TRACK_SUCCS and is_useful_scc() in states_on_acc_cycle_of().
3d5b5be6
* spot/twaalgos/cobuchi.cc: Add scc_info_options::TRACK_SUCCS in nsa_to_nca(). * spot/twaalgos/sccinfo.cc: Add scc_info_options::TRACK_SUCCS and is_useful_scc() in states_on_acc_cycle_of().