diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/state_graph.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/state_graph.py b/tools/state_graph.py index c37cd70..635ec68 100755 --- a/tools/state_graph.py +++ b/tools/state_graph.py @@ -68,7 +68,7 @@ def make_machine(start_state, transitions): def map_color(internal_states, state): if state in internal_states: return 'blue' - if state == states.FAILURE: + if state in (states.FAILURE, states.REVERT_FAILURE): return 'red' if state == states.REVERTED: return 'darkorange' |