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: William Stein Owned by: Gary Furnish
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:

Status badges

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)

recodefordoctesttiming.zip (2.5 KB) - added by William Stein 15 years ago.
trac_1276.patch (2.2 KB) - added by Gary Furnish 15 years ago.
rebased & fixed devel repo patch for this.
trac_1276_scripts.patch (3.5 KB) - added by Gary Furnish 15 years ago.
rebased & fixed scripts repo patch for this.

Download all attachments as: .zip

Change History (14)

Changed 15 years ago by William Stein

Attachment: recodefordoctesttiming.zip added

comment:1 Changed 15 years ago by William Stein

Owner: changed from failure to William Stein

comment:2 Changed 15 years ago by Michael Abshoff

Milestone: sage-2.10sage-2.9.2
Summary: incorporate willem's doctest timing code into sage[with patches, needs review] incorporate willem's doctest timing code into sage

This ought to get merged.

Cheers,

Michael

comment:3 Changed 15 years ago by ncalexan

Owner: changed from William Stein 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 wjp

Cc: wjp added

comment:5 Changed 15 years ago by Robert Miller

Milestone: sage-2.11sage-2.10.4

comment:6 Changed 15 years ago by Michael Abshoff

Milestone: sage-3.0.1sage-3.0
Priority: majorblocker

comment:7 Changed 15 years ago by William Stein

Milestone: sage-3.0sage-3.0.1

Changed 15 years ago by Gary Furnish

Attachment: trac_1276.patch added

rebased & fixed devel repo patch for this.

Changed 15 years ago by Gary Furnish

Attachment: trac_1276_scripts.patch added

rebased & fixed scripts repo patch for this.

comment:8 Changed 15 years ago by Gary Furnish

Owner: changed from ncalexan to Gary Furnish
Status: newassigned

comment:9 Changed 14 years ago by Craig Citro

Keywords: editor_mabshoff added

comment:10 Changed 14 years ago by ncalexan

I think that ticket #3476 does the actual "write time info to file" better than this patch, but the viewing scripts here are useful and should be kept.

I suggest basing this ticket on #3476.

comment:11 Changed 14 years ago by Michael Abshoff

Resolution: wontfix
Status: assignedclosed

This superseded by #3476, so let's close this.

Cheers,

Michael

Note: See TracTickets for help on using tickets.