-
Alexandre Duret-Lutz authored
Fixes #277. * spot/twaalgos/ltl2tgba_fm.cc: Improve the translation of f U g when f is universal. Suggested by Maximilien Colange. * tests/core/ltl2tgba.test: Test it.
190d4cfa
Fixes #277. * spot/twaalgos/ltl2tgba_fm.cc: Improve the translation of f U g when f is universal. Suggested by Maximilien Colange. * tests/core/ltl2tgba.test: Test it.