Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

sage -t outputs duplicate lines #15244

Closed
jdemeyer opened this issue Sep 30, 2013 · 7 comments
Closed

sage -t outputs duplicate lines #15244

jdemeyer opened this issue Sep 30, 2013 · 7 comments
Labels
c: doctest framework p: critical / 2 t: bug
Milestone
sage-5.13

Comments

@jdemeyer
Copy link

Normally, this should be zero:

$ rm -f logs/ptest.log
$ make ptest
$ grep '^sage -t' logs/ptest.log  |sort |uniq -d |wc --lines
436

This is caused by forking with unflushed buffers.

CC: @roed314

Component: doctest framework

Author: Jeroen Demeyer

Reviewer: David Roe

Merged: sage-5.13.beta2

Issue created by migration from https://trac.sagemath.org/ticket/15244
@jdemeyer jdemeyer added this to the sage-5.13 milestone Sep 30, 2013
@jdemeyer
Copy link
Author

Author: Jeroen Demeyer

@jdemeyer

This comment has been minimized.

Sign in to view
@jdemeyer
Copy link
Author

comment:2

Attachment: 15244_doctest_flush.patch.gz

@jdemeyer

This comment has been minimized.

Sign in to view
@roed314
Copy link
Contributor

roed314 commented Oct 28, 2013

comment:3

That looks fine to me.

@jdemeyer
Copy link
Author

Reviewer: David Roe

@jdemeyer
Copy link
Author

Merged: sage-5.13.beta2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: doctest framework p: critical / 2 t: bug
Projects
None yet
Milestone
sage-5.13
Development

No branches or pull requests
2 participants
@roed314 @jdemeyer