On Wed, 17 May 2017, Jeroen Demeyer wrote:
Here are several reasons:
- random seeds are always the same
That can easily be fixed by explicitly changing the random seed in the
doctest (probably some helper context should be provided for this)
Currently sage -t --randorder <somenumber> will give quite massive output
of failing tests...
What kind of testing we are talking now? As an example we can create a
random graph g and check that g.is_planar() == (g.genus() == 0) etc.
Should we have that kind of randomized test? (I do those, but have not
included them to Sage code.)
--
Jori Mäntysalo
