• 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.
    413eab1d
ltlf.cc 2.58 KB