Remy Willems

https://github.com/dafny-lang/dafny/actions/runs/8661038066/job/23750160791?pr=5318 ``` xUnit.net 00:14:41.69] Microsoft.Dafny.LanguageServer.IntegrationTest.Various.DiagnosticMigrationTest.VerificationDiagnosticsCanBeMigratedAcrossMultipleResolutions [FAIL] [xUnit.net 00:14:41.70] Assert.Empty() Failure [xUnit.net 00:14:41.70] Expected: [xUnit.net 00:14:41.70] Actual: [Diagnostic { Range = [start: (4, 4), end: (4, 10)], Severity = Warning, Code...

Guarantee same diagnostics between `verify` and `server` commands

3

Add a test that verifies `dafny server` produces the same SMTLib as `dafny verify`

Run the integration tests in a single process to detect usages of static state

1

The language server runs compilation multiple times using a single process. To test that such repeated executions in a single process work well together, it would be good to also...

### Dafny version 4.0.0 ### Code to produce this issue If there is no Main method defined in Test/git-issues/git-issue-684.dfy, then calling Dafny with the go target fails ### Command to...

The opaque keyword does not always hide the body of functions

4

Example: ```dafny function FibDef(n: nat): nat { if n < 2 then n else FibDef(n-1) + FibDef(n-2) } opaque function Hidden(): nat { 3 } opaque function Hidden2(): nat {...

"The active test run was aborted. Reason: Test host process crashed" with no further explanation

6

## Description [This](https://github.com/dafny-lang/dafny/actions/runs/4627931879/jobs/8186418756?pr=3715) test run calls `dotnet test`, which then outputs ``` The active test run was aborted. Reason: Test host process crashed Results File: /home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/TestResults/_fv-az446-243_2023-04-06_10_29_09.trx Test Run Aborted with...

LSP server fails to initialize with: "Failed to find all versions of .NET Core MSBuild. Call to hostfxr_resolve_sdk2."

3

## Environment data `dotnet --info` output: ``` rwillems@bcd0745419f2 roslyn % dotnet --info Host: Version: 8.0.6 Architecture: arm64 Commit: 3b8b000a0e RID: osx-arm64 .NET SDKs installed: 6.0.407 [/usr/local/share/dotnet/sdk] 7.0.202 [/usr/local/share/dotnet/sdk] 7.0.305 [/usr/local/share/dotnet/sdk]...