• Alexandre Duret-Lutz's avatar
    parseaut, dot: install a highlighting framework · 348f7cce
    Alexandre Duret-Lutz authored
    * spot/parseaut/parseaut.yy, spot/parseaut/scanaut.ll:
    Parse "spot.highlight.edges" and "spot.highlight.states" to
    fill the "highlight-edges" and "highlight-states" properties.
    * spot/twaalgos/dot.cc: Use these properties to highlight states.
    * tests/core/readsave.test: Add a small test.
    348f7cce
parseaut.yy 56.7 KB