#75 Race marks remain even after repaint

None
closed
5
2013-07-08
2012-06-26
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

     
  • Lubos Korenciak

    Lubos Korenciak - 2013-07-08
    • status: open --> closed
    • Group: --> None
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks