#14523: can't exit or detach after error in attached file
----------------------------------+-----------------------------------------
Reporter: mstreng | Owner: was
Type: defect | Status: needs_work
Priority: major | Milestone: sage-5.11
Component: user interface | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: Travis Scrimshaw
Authors: Volker Braun | Merged in:
Dependencies: #14266 | Stopgaps:
----------------------------------+-----------------------------------------
Comment (by jhpalmieri):
I'm getting doctest failures:
{{{
sage -t devel/sage/sage/misc/sage_extension.py
**********************************************************************
File "devel/sage/sage/misc/sage_extension.py", line 107, in
sage.misc.sage_extension.SageMagics.attach
Failed example:
shell.run_cell('sage_inputhook()')
Expected:
### reloading attached file run_cell.py modified at ... ###
0
Got:
0
**********************************************************************
File "devel/sage/sage/misc/sage_extension.py", line 111, in
sage.misc.sage_extension.SageMagics.attach
Failed example:
shell.run_cell('a')
Expected:
3
Got:
2
**********************************************************************
1 item had failures:
2 of 15 in sage.misc.sage_extension.SageMagics.attach
[45 tests, 2 failures, 2.13 s]
----------------------------------------------------------------------
sage -t devel/sage/sage/misc/sage_extension.py # 2 doctests failed
----------------------------------------------------------------------
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14523#comment:34>
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.
