Re: [petsc-dev] Is this a bug in test generation?