Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    twa: fix intersecting_run on weak automata · 0509263f
    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.
    0509263f
To find the state of this project's repository at the time of any of these versions, check out the tags.