Ticket #1276 (closed enhancement: wontfix)

Opened 1 year ago

Last modified 3 months ago

[with patches, needs review] incorporate willem's doctest timing code into sage

Reported by: was Assigned to: gfurnish
Priority: blocker Milestone: sage-3.1.2
Component: doctest Keywords: editor_mabshoff
Cc: wjp

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

recodefordoctesttiming.zip (2.5 kB) - added by was on 11/25/2007 08:18:38 PM.
trac_1276.patch (2.2 kB) - added by gfurnish on 05/24/2008 03:42:44 PM.
rebased & fixed devel repo patch for this.
trac_1276_scripts.patch (3.5 kB) - added by gfurnish on 05/24/2008 03:42:54 PM.
rebased & fixed scripts repo patch for this.

Change History

11/25/2007 08:18:38 PM changed by was

  • attachment recodefordoctesttiming.zip added.

11/25/2007 08:19:12 PM changed by was

  • owner changed from failure to was.

12/29/2007 09:46:00 AM changed by mabshoff

  • summary changed from incorporate willem's doctest timing code into sage to [with patches, needs review] incorporate willem's doctest timing code into sage.
  • milestone changed from sage-2.10 to sage-2.9.2.

This ought to get merged.

Cheers,

Michael

01/19/2008 07:38:00 PM changed by ncalexan

  • 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.

02/06/2008 02:27:26 PM changed by wjp

  • cc set to wjp.

03/11/2008 09:58:57 PM changed by rlm

  • milestone changed from sage-2.11 to sage-2.10.4.

04/18/2008 01:28:48 PM changed by mabshoff

  • priority changed from major to blocker.
  • milestone changed from sage-3.0.1 to sage-3.0.

04/20/2008 03:04:59 PM changed by was

  • milestone changed from sage-3.0 to sage-3.0.1.

05/24/2008 03:42:44 PM changed by gfurnish

  • attachment trac_1276.patch added.

rebased & fixed devel repo patch for this.

05/24/2008 03:42:54 PM changed by gfurnish

  • attachment trac_1276_scripts.patch added.

rebased & fixed scripts repo patch for this.

05/24/2008 03:45:05 PM changed by gfurnish

  • owner changed from ncalexan to gfurnish.
  • status changed from new to assigned.

06/15/2008 02:28:59 PM changed by craigcitro

  • keywords set to editor_mabshoff.

08/11/2008 06:11:02 PM changed 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.

09/06/2008 04:14:26 PM changed by mabshoff

  • status changed from assigned to closed.
  • resolution set to wontfix.

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

Cheers,

Michael