Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/ltlvisit/tostring.cc · 8008deed
    Alexandre Duret-Lutz authored
    (to_string_visitor::visit(const atomic_prop*)): Quote propositions
    that start with F, G, or X.
    * src/ltltest/tostring.test: Test quoted propositions.
    * src/tgbaalgos/save.cc (save_bfs::process_state): Escape " and +	characters in formulae.
    * src/tgbatest/readsave.test: Test for this.
    8008deed