-
Alexandre Duret-Lutz authored
* tests/core/ltl2tgba.test: Add new test-case, reported by Tomáš Babiak. * NEWS: Mention the bug fixed by previous patch.
4e1c8dfd
To find the state of this project's repository at the time of any of these versions, check out the tags.