There is even a tag (I forget the exact wording) for saying that this is an indirect doctest, which hopefully this script picks out.
On Monday, February 23, 2015 at 1:22:51 PM UTC-5, Nils Bruin wrote: > > On Monday, February 23, 2015 at 10:07:13 AM UTC-8, kcrisman wrote: >> >> I couldn't get a good sense of what "wrong" meant from that patch. What >> does that specifically refer to? >> > > I wondered about that too. Apparently, it's "sage --coverage" jargon. A > doctest is "possibly wrong" if the name of the doctested function doesn't > occur in the doctest. > I was having a faint hope of being impressed with our automatic > documentation testing. If we could automatically distinguish "correct" > documentation from "wrong" documentation, we could just solve our > documentation woes by letting the tester run over all possible docstrings > and pick out the correct documentation. Naturally, the concept turned out a > little more mundane than that. > -- 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. For more options, visit https://groups.google.com/d/optout.
