Skip to content
  • Alexandre Duret-Lutz's avatar
    acc: strengthen is_generalized_rabin() and is_generalized_streett() · 15fdac60
    Alexandre Duret-Lutz authored
    * spot/twa/ 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.
To find the state of this project's repository at the time of any of these versions, check out the tags.