Opened 15 years ago
Closed 14 years ago
#1276 closed enhancement (wontfix)
[with patches, needs review] incorporate willem's doctest timing code into sage
Reported by: | was | Owned by: | gfurnish |
---|---|---|---|
Priority: | blocker | Milestone: | sage-3.1.2 |
Component: | doctest coverage | Keywords: | editor_mabshoff |
Cc: | wjp | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
> Send me your doctest timing code :-) I'm looking forward to playing with it. Here you go. It's a patch to local/bin/sage-doctest and a file timing.py that I had put in sage/misc . It adds a --time option to sage-doctest that makes it append the timings it generates as a dict indexed by hash to the (cpickled) file .doctest/timings.sobj . There's no infrastructure yet to automatically delete that file when appropriate, though. I also attached two very basic scripts that show or compare the contents of timings.sobj files.
Attachments (3)
Change History (14)
Changed 15 years ago by
Attachment: | recodefordoctesttiming.zip added |
---|
comment:1 Changed 15 years ago by
Owner: | changed from failure to was |
---|
comment:2 Changed 15 years ago by
Milestone: | sage-2.10 → sage-2.9.2 |
---|---|
Summary: | incorporate willem's doctest timing code into sage → [with patches, needs review] incorporate willem's doctest timing code into sage |
comment:3 Changed 15 years ago by
Owner: | changed from was to ncalexan |
---|
This code looks good, and I'm working in this area so I'll update it and ready it for merging.
comment:4 Changed 15 years ago by
Cc: | wjp added |
---|
comment:5 Changed 15 years ago by
Milestone: | sage-2.11 → sage-2.10.4 |
---|
comment:6 Changed 15 years ago by
Milestone: | sage-3.0.1 → sage-3.0 |
---|---|
Priority: | major → blocker |
comment:7 Changed 15 years ago by
Milestone: | sage-3.0 → sage-3.0.1 |
---|
Changed 15 years ago by
Attachment: | trac_1276.patch added |
---|
rebased & fixed devel repo patch for this.
Changed 15 years ago by
Attachment: | trac_1276_scripts.patch added |
---|
rebased & fixed scripts repo patch for this.
comment:8 Changed 15 years ago by
Owner: | changed from ncalexan to gfurnish |
---|---|
Status: | new → assigned |
comment:9 Changed 15 years ago by
Keywords: | editor_mabshoff added |
---|
comment:10 Changed 14 years ago by
comment:11 Changed 14 years ago by
Resolution: | → wontfix |
---|---|
Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
This ought to get merged.
Cheers,
Michael