Version 17.8.6 works fine, but 17.9.0 fails to run:
rwillems@bcd0745419f2 dafny2 % dotnet coverage collect --help
You must install or update .NET to run this application.
App: /Users/rwillems/.dotnet/tools/dotnet-coverage
Architecture: x64
Framework: 'Microsoft.NETCore.App', version '3.1.0' (x64)
.NET location: /usr/local/share/dotnet/x64
The following frameworks were found:
8.0.0-preview.4.23259.5 at [/usr/local/share/dotnet/x64/shared/Microsoft.NETCore.App]
Learn more:
https://aka.ms/dotnet/app-launch-failed
To install missing framework, download:
https://aka.ms/dotnet-core-applaunch?framework=Microsoft.NETCore.App&framework_version=3.1.0&arch=x64&rid=osx.13-x64
Version 17.8.6 works fine, but 17.9.0 fails to run:
Additional information