-
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
* 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.