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

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.

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 (on the script
 repertory)

--

--
Ticket URL: <http://trac.sagemath.org/ticket/10674#comment:3>
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