-
Alexandre Duret-Lutz authored
* spot/twa/twagraph.cc, spot/twa/twagraph.hh (format_state): Honor the state-names and product-states properties. * tests/python/highlighting.ipynb: Adjust.
e1c14eb9
* spot/twa/twagraph.cc, spot/twa/twagraph.hh (format_state): Honor the state-names and product-states properties. * tests/python/highlighting.ipynb: Adjust.