#10674: sage -coverage does not work on .sage files
-------------------------------------+-------------------------------
       Reporter:  AlexGhitza         |        Owner:
           Type:  enhancement        |       Status:  positive_review
       Priority:  minor              |    Milestone:  sage-5.12
      Component:  scripts            |   Resolution:
       Keywords:  coverage script    |    Merged in:
        Authors:  Frédéric Chapoton  |    Reviewers:  Nathann Cohen
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------
Changes (by ncohen):

 * status:  needs_review => positive_review
 * reviewer:   => Nathann Cohen


Old description:

> This is using sage-4.6.1.
>
> It would be nice to have sage -coverage provide doctest statistics for
> .sage files the way it does for the .py and .pyx files in the sage
> library.  At the moment this does not work.
>
> It is possible that all that's needed is a trivial change in the coverage
> script, but I have not checked that.
>
> Apply trac_10674_coverage_for_dot_sage_files.patch (on the script
> directory)

New description:

 This is using sage-4.6.1.

 It would be nice to have sage -coverage provide doctest statistics for
 .sage files the way it does for the .py and .pyx files in the sage
 library.  At the moment this does not work.

 It is possible that all that's needed is a trivial change in the coverage
 script, but I have not checked that.

 Apply trac_10674_coverage_for_dot_sage_files.patch to
 `SAGE_ROOT/local/bin`

--

Comment:

 Well, then ...

 Nathann

--
Ticket URL: <http://trac.sagemath.org/ticket/10674#comment:5>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to