• Alexandre Duret-Lutz's avatar
    ltlf: ensure alive holds initially · 413eab1d
    Alexandre Duret-Lutz authored
    Reported by Shufang Zhu.
    * spot/tl/ltlf.cc, spot/tl/ltlf.hh: Fix the transltion
    and update the comments.
    * tests/core/ltlfilt.test: Adjust test cases.
    * NEWS: Mention the fix.
    * THANKS: Add Shufang Zhu.
To find the state of this project's repository at the time of any of these versions, check out the tags.