#75 Race marks remain even after repaint

None
closed
5
2013-07-08
2012-06-26
Ondřej Bouda
No

One would like to use the repaint function to clear results of the race condition checker. While all the shapes stored in the internal structure (i.e., message arrows) are reset, the circles marking the events in the race remain in the drawing.
Lubos found out the bug while preparing some time races.

Discussion

  • Viktor Borza
    Viktor Borza
    2013-06-28

    bug fixed

     
    • status: open --> closed
    • Group: --> None