search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.89k stars 259 forks source link

Flaky Test: LanguageServer.IntegrationTest.Lookup.DocumentSymbolTest.CanResolveSymbolsForMultiFileProjects #5443

Open MikaelMayer opened 4 months ago

MikaelMayer commented 4 months ago

Seen here:

https://github.com/dafny-lang/dafny/actions/runs/9084945479/job/24967092653?pr=5442

Microsoft.Dafny.LanguageServer.IntegrationTest.Lookup.DocumentSymbolTest.CanResolveSymbolsForMultiFileProjects [FAIL]
[xUnit.net 00:09:15.91]       OmniSharp.Extensions.JsonRpc.Server.RequestCancelledException : 2
[xUnit.net 00:09:15.91]       Stack Trace:
[xUnit.net 00:09:15.91]            at OmniSharp.Extensions.JsonRpc.ResponseRouter.ResponseRouterReturnsImpl.Returning[TResponse](CancellationToken cancellationToken)
[xUnit.net 00:09:15.91]         D:\a\dafny\dafny\dafny\Source\DafnyLanguageServer.Test\Util\ClientBasedLanguageServerTest.cs(63,0): at Microsoft.Dafny.LanguageServer.IntegrationTest.Util.ClientBasedLanguageServerTest.CreateOpenAndWaitForResolve(String source, String filePath, Int32 version, Nullable`1 cancellationToken)
[xUnit.net 00:09:15.91]         D:\a\dafny\dafny\dafny\Source\DafnyLanguageServer.Test\Lookup\DocumentSymbolTest.cs(68,0): at Microsoft.Dafny.LanguageServer.IntegrationTest.Lookup.DocumentSymbolTest.CanResolveSymbolsForMultiFileProjects()
keyboardDrummer commented 4 months ago

https://github.com/dafny-lang/dafny/actions/runs/9092347847/job/24988886184?pr=5437

keyboardDrummer commented 4 months ago

Might be resolved by https://github.com/dafny-lang/dafny/pull/5444