I frequently use the option -log_view with PETSc scripts in order to get flops and timing information. How can I get firedrake to ask PETSc to print this information for me? 

Using the key/value {'log_view':None} is no use in the solver parameters. 

Thanks,

Nicolas