Re: [firedrake] Can't terminate simulation