-
Alexandre Duret-Lutz authored
* src/tgbaalgos/ltl2tgba_fm.cc (ltl_trad_visitor): Take an exprop argument, and use it while translation <>-> operators. * src/tgbatest/ltl2tgba.test (check_psl): Use -x too.
dbdd3701
* src/tgbaalgos/ltl2tgba_fm.cc (ltl_trad_visitor): Take an exprop argument, and use it while translation <>-> operators. * src/tgbatest/ltl2tgba.test (check_psl): Use -x too.