firedrakeproject/firedrake — pull request #192 by wence- (2014-03-12 12:11:53+00:00)
Title: Provide better error on non-convergence of solve

If the SNES reason is unknown, it's probable that the inner solve failed
to converge. So pull out that reason and add it to the message.