Skip to content
  • Alexandre Duret-Lutz's avatar
    Implement to_utf8_string(). · 53f38c2c
    Alexandre Duret-Lutz authored
    * src/ltlvisit/tostring.cc, src/ltlvisit/tostring.hh: Here.
    * src/ltltest/randltl.cc: Add option -8 to display utf-8 formulae.
    * src/ltltest/utf8.test: Test it.
    53f38c2c