Skip to content
  • Alexandre Duret-Lutz's avatar
    genltl: add --gf-implies · 0b71df3f
    Alexandre Duret-Lutz authored
    * spot/gen/formulas.cc, spot/gen/formulas.hh: Implement
    LTL_GF_IMPLIES.
    * bin/genltl.cc: Add --gf-implies.
    * NEWS: Mention it.
    * tests/core/genltl.test: Use it.
    0b71df3f