Re: [petsc-dev] SNESConvergedDefault() side effect?