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