Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    twa: fix intersecting_run on weak automata · d8a75518
    Alexandre Duret-Lutz authored 
    Fixes #471, reported by Cambridge Yang.

* spot/twa/twa.cc (intersecting_run): Disable the product
optimization for weak automata.
* tests/python/471.py: New file.
* tests/Makefile.am: Add it.
* NEWS: Mention the bug.
    d8a75518
To find the state of this project's repository at the time of any of these versions, check out the tags.