Currently, if you have something like:
def foo():
def bar():
pass
pass
then "sage -coverage" will complain that bar() has no docstring or doctests. However, such functions cannot be (directly) doctested, so that warning is invalid. In my opinion, bar() should not be required to have a docstring either.
Component: documentation
Author: John Palmieri
Reviewer: William Stein, Harald Schilly
Merged: Sage 4.1.1.alpha1
Issue created by migration from https://trac.sagemath.org/ticket/877