diff --git a/devito/operator/operator.py b/devito/operator/operator.py index 7531294a49..3c5e2f011c 100644 --- a/devito/operator/operator.py +++ b/devito/operator/operator.py @@ -965,7 +965,8 @@ def _emit_apply_profiling(self, args): if v is not None: if v.oi is not None: metrics.append("OI=%.2f" % fround(v.oi)) - metrics.append("%.2f GFlops/s" % fround(v.gflopss)) + if v.gflopss is not None: + metrics.append("%.2f GFlops/s" % fround(v.gflopss)) v = summary.globals.get('fdlike') if v is not None: