[sage-devel] Re: more tests in sage (not doctests)

2016-06-22 Thread Marc Mezzarobba
Michael Orlitzky wrote: > It's a little dangerous, our doctest framework uses the XKCD random > number generator. If you run ZZ.random_element() in a doctest it will > always output the same number. You have to work around it by calling > set_random_seed() before every test. There is a @random_tes

[sage-devel] Re: more tests in sage (not doctests)

2016-06-22 Thread Samuel Lelievre
+1 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit