Re: [petsc-dev] using valgrind with new test harness