Skip to content
  • Alexandre Duret-Lutz's avatar
    Escape labels in -KV output. · 913637a7
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/scc.cc (dump_scc_dot): Escape labels and other
    strings output between quote in dot.
    * src/tgbatest/kv.test: New file.
    * src/tgbatest/Makefile.am (TESTS): Add it.
    913637a7
To find the state of this project's repository at the time of any of these versions, check out the tags.