From b23e95454a9659d283357eccfffe0d1c72154c96 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Andr=C3=A9=20Reuter?= <j.reuter@fz-juelich.de>
Date: Fri, 18 Oct 2024 15:32:46 +0200
Subject: [PATCH] Tool: Report devices if not found on finalize
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Jan André Reuter <j.reuter@fz-juelich.de>
---
 src/tool.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/tool.cpp b/src/tool.cpp
index 6e69cbe..4f5032d 100644
--- a/src/tool.cpp
+++ b/src/tool.cpp
@@ -1733,9 +1733,10 @@ callback_device_finalize( int device_num )
     {
         if constexpr ( mode > printf_mode::disable_output )
         {
-            atomic_printf( "[%s] Device %d not found. "
+            atomic_printf( "[%s] Device %d not found. Number of devices: %d. "
                            "The runtime may have already cleaned up some state. Skip flushing buffers.\n",
                            __FUNCTION__,
+                           devices.size(),
                            device_num );
         }
         return;