Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Add ltl3ba to the ltl2tgba benchmark. · 4a9bbbaf
    Alexandre Duret-Lutz authored 
    * configure.ac: Search for ltl3ba.
* bench/ltl2tgba/defs.in: Define LTL3BA and HAVE_LTL3BA.
* bench/ltl2tgba/algorithms: Use LTL3BA. Also add simulation options
for LTL2BA.
* bench/ltl2tgba/README: Slight wording changes.
    4a9bbbaf