mlaveaux opened this issue a year ago · 1 comments
This feature could be enabled through the color menu, painting deadlocks and livelocks in the selected color.
Implemented marking the deadlock states, but not yet the livelocked states.