firedrakeproject/firedrake — pull request #19 by wence- (2013-10-10 09:31:54+00:00)
Title: Fix SNES option setting

We need to pass flag options with value None to petsc4py otherwise the
value is converted into a string and used as an output file name. So
convert options where the type of the value is boolean to None if True
and empty if False.