Thanks for your answer Dave
That’s fine, I agree, the following question however pops up, what 's the good amount of bug hunting versus the main goal of the nightly regression (reaching coverage goals)?
The regression is run nightly so that the bug hunting effort can be spread over time.
The drawback I see as well is that using this random seed mechanism in the regression, one may be tempted to delegate the debug of a randomized test, not taking the time to make it robust enough by checking locally many seeds on his test before posting it to the regression…