Make sage -coverage aware of TestSuite

[nthiery]

With the attached patch for sage/local/bin, sage -coverage scans for either a loads(dumps(s)) or a TestSuite(s).run() doctest, and suggests using the later.

Also refines the test whether the file defines a class.

CC: @sagetrac-sage-combinat

Component: doctest coverage

Keywords: TestSuite

Author: Nicolas M. Thiéry

Reviewer: Florent Hivert

Merged: sage-4.2.alpha1

Issue created by migration from https://trac.sagemath.org/ticket/7209

[nthiery]

Attachment: trac_7209-coverage-TestSuite-nt.patch.gz

[hivert]

Reviewer: Florent Hivert

[hivert]

comment:4

With the new category framework there will be a lot of parent which will be tested by the testsuite machinery. It is very useful that sage-coverage stop complaining about missing s == loads(dumps(s)) because it is done during
TestSuite(s).run(). The patch looks good and works. Positive review.

Cheers,

Florent

[hivert]

Changed keywords from none to TestSuite

[jhpalmieri]

comment:5

Notice that #5819 is somewhat related to this. It would be nice to fix that issue eventually...

[hivert]

comment:6

Replying to @jhpalmieri:

Notice that #5819 is somewhat related to this. It would be nice to fix that issue eventually...

Sure. But right now our primary goal is to finish the category stuff ASAP...
I'm sorry for this but we really have to take the straight line :-)

Cheers,

Florent

[mwhansen]

Merged: sage-4.2.alpha1