• Alexandre Duret-Lutz's avatar
    ltlf: ensure alive holds initially · 15709084
    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.
    15709084
To find the state of this project's repository at the time of any of these versions, check out the tags.