Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/ltlvisit/tostring.cc (is_bare_word): New function. · e9fd27e8
    Alexandre Duret-Lutz authored
    (to_string_visitor::visitor(const atomic_prop*)): Use is_bare_word
    to better check which atomic proposition need to be quoted.
    * src/ltlparse/ltlscan.ll: Do not allow identifiers starting with F_
    or G_.
    * src/ltltest/equals.test, src/ltltest/tostring.test: More tests.
    e9fd27e8