-
Alexandre Duret-Lutz authored
Reported by Victor Khomenko. * spot/tl/formula.cc: Rewrite the siPSL detection for ";". * tests/core/ltlfilt.test: Add more tests. * tests/core/kind.test: Adjust. * NEWS: Mention the bug.
38f0cfd4
To find the state of this project's repository at the time of any of these versions, check out the tags.