• Alexandre Duret-Lutz's avatar
    acc: strengthen is_generalized_rabin() and is_generalized_streett() · b6e44e6b
    Alexandre Duret-Lutz authored
    * spot/twa/acc.cc: These functions were segfaulting on acceptance
    conditions such as "Acceptance: 3 t" or "Acceptance: 3 f".
    The issue was revealed on branch "next" by the change that print_dot()
    display the acceptance condition by default, but we want the fix on
    master as well.
    * NEWS: Mention the issue.
    b6e44e6b
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 185 KB