96014cbba3
Instead of just having black text color adjust some of the states text color depending on there type/name and highlight some as red, green, orange depending on there underlying meaning. Color names are from: http://www.graphviz.org/doc/info/colors.html Change-Id: I89f8f90837551a257936d254516ada6130e7b6da |
||
---|---|---|
.. | ||
clear_zk.py | ||
generate_states.sh | ||
run_cross_tests.sh | ||
state_graph.py |