Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    genltl: introduce --eil-gsi · 7ed62f7e
    Alexandre Duret-Lutz authored 
    Based on a mail from Edmond Irani Liu.  The test case also serves for
the previous patch.

* bin/genltl.cc, spot/gen/formulas.cc, spot/gen/formulas.hh: Add it.
* NEWS: Mention it.
* tests/core/genltl.test: Test it.
    7ed62f7e
To find the state of this project's repository at the time of any of these versions, check out the tags.