Re: [petsc-dev] checking sanity of user evaluations