-
Alexandre Duret-Lutz authored
Fixes #337. * spot/twaalgos/emptiness.cc, spot/twaalgos/emptiness.hh: Here. * tests/python/except.py: Test it. * NEWS: Mention the issue.
a445778c
To find the state of this project's repository at the time of any of these versions, check out the tags.