sageb0t/testsage — pull request #14061 by sageb0t (2013-03-28 17:54:17+00:00)
Title: Fix sage-coverage

Imported from trac #14061.

Reported by: jdemeyer

Component: scripts

CC:

Report Upstream: N/A

Authors: Jeroen Demeyer

Dependencies:

Work issues:

Reviewers: Travis Scrimshaw

Merged in: sage-5.7.beta4

Attachments:

coverage.diff: Diff of coverageall results by jdemeyer at 20130205T17:07:32
coverage_using_tokens.patch: by jdemeyer at 20130205T20:54:56