On Sun, Jul 24, 2011 at 2:16 PM, Vinzent Steinberg <[email protected]> wrote: > 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.
I 100% agree. Ondrej -- 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.
