Mir

Comment 1 for bug 1367203

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Yeah, this has been a theoretical issue for a while. Although having experimented with shrinking event structures I have not yet found anywhere that this is a noticeable performance issue. So we should improve it, but I'm not sure any improvement will provide measurable benefit.