misc: Improve performance summary

devitocodes · Jun 18, 2024 · 0decbb2 · 0decbb2
1 parent 1905fb6
commit 0decbb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/devito/operator/profiling.py b/devito/operator/profiling.py
@@ -420,7 +420,7 @@ def add(self, name, rank, time,
 
         k = PerfKey(name, rank)
 
-        if not ops or any(np.isnan(i) for i in [ops, points, traffic]):
+        if not ops or any(not np.isfinite(i) for i in [ops, points, traffic]):
             self[k] = PerfEntry(time, 0.0, 0.0, 0.0, 0, [])
         else:
             gflops = float(ops)/10**9