v2 of valgrind based memory tests

2012-12-25 Thread David Bremner
Austin Clements writes: > On Mon, 24 Dec 2012, david at tethera.net wrote: > > LGTM. In the long run, I wonder if we want to separate the time and > memory tests like this or if some tests would make sense in either mode. pushed. At the moment, the split into time versus memory tests is a

v2 of valgrind based memory tests

2012-12-25 Thread Austin Clements
On Mon, 24 Dec 2012, david at tethera.net wrote: > These obsolete > > id:1355196820-29734-1-git-send-email-david at tethera.net > > I tried to follow the suggestions of > > id:20121216191121.GH6187 at mit.edu > > pretty closely. LGTM. In the long run, I wonder if we want to

Re: v2 of valgrind based memory tests

2012-12-25 Thread Austin Clements
On Mon, 24 Dec 2012, da...@tethera.net wrote: These obsolete id:1355196820-29734-1-git-send-email-da...@tethera.net I tried to follow the suggestions of id:20121216191121.gh6...@mit.edu pretty closely. LGTM. In the long run, I wonder if we want to separate the time and

Re: v2 of valgrind based memory tests

2012-12-25 Thread David Bremner
Austin Clements amdra...@mit.edu writes: On Mon, 24 Dec 2012, da...@tethera.net wrote: LGTM. In the long run, I wonder if we want to separate the time and memory tests like this or if some tests would make sense in either mode. pushed. At the moment, the split into time versus memory tests

v2 of valgrind based memory tests

2012-12-24 Thread da...@tethera.net
These obsolete id:1355196820-29734-1-git-send-email-david at tethera.net I tried to follow the suggestions of id:20121216191121.GH6187 at mit.edu pretty closely. diff --git a/performance-test/M00-new b/performance-test/M00-new index 733e9b0..99c3f52 100755 ---

v2 of valgrind based memory tests

2012-12-24 Thread david
These obsolete id:1355196820-29734-1-git-send-email-da...@tethera.net I tried to follow the suggestions of id:20121216191121.gh6...@mit.edu pretty closely. diff --git a/performance-test/M00-new b/performance-test/M00-new index 733e9b0..99c3f52 100755 ---