You can run sage: from sage.doctest.sources import FileDocTestSource sage: filename = "sage/schemes/projective/projective_point.py" sage: FDS = FileDocTestSource(filename, True, True, True, False) sage: FDS._test_enough_doctests(verbose=True)
which will tell you the lines that it believes are being skipped. This will at least make it easier to check if those tests are actually being run or not (for example you could change the output so that they fail and see if sage -t detects it). If the tests are actually being run, feel free to add There are 4 tests in sage/schemes/projective/projective_point.py that are not being run to the expected output of _test_enough_doctests. David On Mon, May 6, 2013 at 6:06 PM, Ben Hutz <bn4...@gmail.com> wrote: > I just rebased trac > #14217<http://trac.sagemath.org/sage_trac/ticket/14217>for sage.5.10.beta1, > but I'm having an issue with the doctest in > > sage/doctest/source.py for the function _test_enough_doctests() > > It is also getting: > > "There are 4 tests in sage/schemes/projective/projective_point.py that are > not being run" > > As far as I can tell from -t --verbose all tests in that file are being > run. The documentation on _test_enough_doctests() says that it can > sometimes miss count doctests for certain files. > > How do I verify that this is a miss count and not some other issue? > > Thanks. > > Ben > > -- > 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 this group at http://groups.google.com/group/sage-devel?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- 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 this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
