From 1757eb720cad86e4b793b19fa3eede3d57976693 Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@microsoft.com>
Date: Fri, 1 Mar 2024 11:26:22 -0800
Subject: [PATCH] fix

---
 Scripts/run-tests.ps1 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Scripts/run-tests.ps1 b/Scripts/run-tests.ps1
index 787f733d7..3a8b8ec75 100644
--- a/Scripts/run-tests.ps1
+++ b/Scripts/run-tests.ps1
@@ -34,6 +34,7 @@ $runtime_version = FindDotNetRuntimeVersion -dotnet_runtime_path $dotnet_runtime
 
 # Restore the local ilverify tool.
 &dotnet tool restore
+&dotnet tool list
 $ilverify = "dotnet ilverify"
 
 [System.Environment]::SetEnvironmentVariable('COYOTE_CLI_TELEMETRY_OPTOUT', '1')