#12415: Update doctesting framework
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
Reporter: robertwb
| Owner: jdemeyer
Type: enhancement
| Status: needs_work
Priority: major
| Milestone: sage-5.7
Component: doctest
| Resolution:
Keywords:
| Work issues:
Report Upstream: N/A
| Reviewers: Jeroen Demeyer
Authors: David Roe, Robert Bradshaw
| Merged in:
Dependencies: #13147,#13146, #13145, #12723, #12392, #12393, #12395,
#12396, #12397, #12381, #12382, #12383, #12384, #11871, #13195, #13121, #13748,
#13899, #12719, #5155, #14070, #14079 | Stopgaps:
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
Comment (by jdemeyer):
I noticed a change in behaviour and I'm wondering whether it is
intentional.
Old doctesting framework outputs like:
{{{
sage -t file.py
<messages>
[4.1 s]
}}}
New doctesting framework outputs like:
{{{
<messages>
sage -t file.py
[1 test, 1 failure, 1.7 s]
}}}
I dislike the last way of outputting, especially in `--verbose` mode,
because there is no mention of what file is being tested. You see:
{{{
Running doctests with ID 2013-02-13-12-55-39-de348564.
Doctesting 1 file.
Trying (line 2): cython('sig_on()')
Expecting nothing
ok [1.61 s]
...
}}}
"line 2" of which file?...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12415#comment:189>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
