On Jul 24, 4:45 pm, Tom Bachmann <[email protected]> wrote: > That would be one possibility; defaulting to a specific, tested seed in > release tests. > > On the other hand my tests have not failed in the last >300 runs on > jenkins (since I pushed the last fix). This does not mean too much of > course.
I think our tests should be determined by default, there should be no randomness, because it makes it impossible to reproduce failures. (If the test runner printed the seed and it was possible to pass the seed to the test runner, this would be something else, but this is currently not the case.) So I suggest we make random tests optional for now. Having random tests by default needs to be discussed IMHO. Vinzent -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
