On Tue, 3 Nov 2015, John Cremona wrote:
I agree. There are test runs which take an hour (say, just for the sake of argument) which I like to know still work -- or to see if after some other changes they now only take half an hour -- but that it much too long for a "long time" test.
That will be a problem if you, for example, decide to become a reindeer farmer, move to Lapland and stop making software. Local test files will then be forgotten.
http://doc.sagemath.org/html/en/developer/coding_basics.html says "Skip all doctests of a file/directory file: If one of the first 10 lines of a file starts with any of r""" nodoctest - -". So can we just add those extra tests to files marked with that?
-- Jori Mäntysalo
