#12415: Update doctesting framework
----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
Reporter: robertwb
|
Owner: jdemeyer
Type: enhancement
|
Status: needs_review
Priority: major
|
Milestone: sage-5.8
Component: doctest
|
Resolution:
Keywords:
|
Work issues:
Report Upstream: N/A
|
Reviewers: Jeroen Demeyer, David Roe
Authors: David Roe, Robert Bradshaw, Jeroen Demeyer
|
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, #14150, #14158, #14182, #14184, #14054
| Stopgaps:
----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
Comment (by jdemeyer):
Could you do me a favour since I don't have access to an OS X 10.8 system:
Remove that `import readline` statement and run
{{{
./sage -btp N --long devel/sage/sage/doctest devel/sage/sage/tests
}}}
in the following ways:
1. Normal doctest run in the terminal, let it finish
2. Interrupt (CTRL-C) the tests somewhere in the middle of the run
3. Pipe the output through `less`: `./sage -tp 2 ... | less`
And all this both with `-p 1` and with `-p N` for some `N > 1`.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12415#comment:247>
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.
