Skip to content
  • Alexandre Duret-Lutz's avatar
    translate: add support for -x tls-impl=N · 689aa7fd
    Alexandre Duret-Lutz authored
    This is long overdue, and we probably want to use tls-impl=1 in
    ltlsynt.
    
    * spot/twaalgos/translate.cc, spot/twaalgos/translate.hh:
    Add support for tls-impl=N.
    * tests/core/ltl2tgba.test: Test it.
    * bin/spot-x.cc, NEWS: Document it.
    689aa7fd