Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Fix translation of '{(c&!c)[->0..1]}!'. · 58bbaa08
    Alexandre Duret-Lutz authored 
    * src/tgbaalgos/ltl2tgba_fm.cc (ratexp_trad_visitor::visit): Fix
the translation of the Goto operator.
(ratexp_trad_visitor::next_to_concat): More comments.
* src/ltltest/reduccmp.test: Add a test case.
    58bbaa08