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')