Re: [petsc-dev] TSSetConvergedReason(ts,TS_CONVERGED_USER);