Skip to content
  • Alexandre Duret-Lutz's avatar
    Various utf-8 fixes. · f02156eb
    Alexandre Duret-Lutz authored
    * src/bin/ltl2tgba.cc: Add option -8.
    * src/tgbatest/ltl2tgba.cc, wrap/python/spot.i: Enable utf8 on
    sba_explicit_formula automata too.
    f02156eb