From 0decbb23da904f48ff6c7ee124ed2b0cefc547af Mon Sep 17 00:00:00 2001
From: Fabio Luporini <fabio@devitocodes.com>
Date: Tue, 18 Jun 2024 09:49:28 +0000
Subject: [PATCH] misc: Improve performance summary

---
 devito/operator/profiling.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devito/operator/profiling.py b/devito/operator/profiling.py
index e4befb7484..b7fc3329c2 100644
--- 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