I'm interested in doing more extensive tests of my build of petsc-dev than what I get from doing a "make test" after the build. Would running the petsc-dev regression test suite be the right thing to consider? If so, how would I run the regression test suite after a build of petsc-dev? Thanks, Dave