Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
MikaelMayer opened this issue May 14, 2024 · 2 comments
Open

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

MikaelMayer opened this issue May 14, 2024 · 2 comments
Assignees
@keyboardDrummer
Labels
kind: language development speed Slows down development of Dafny the language, flaky tests

Comments

@MikaelMayer
Copy link
Member

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()
@MikaelMayer MikaelMayer added the kind: language development speed Slows down development of Dafny the language, flaky tests label May 14, 2024
@keyboardDrummer
Copy link
Member

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

@keyboardDrummer keyboardDrummer mentioned this issue May 15, 2024
Merged
@keyboardDrummer
Copy link
Member

Might be resolved by #5444

@keyboardDrummer keyboardDrummer self-assigned this May 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@keyboardDrummer keyboardDrummer

Labels
kind: language development speed Slows down development of Dafny the language, flaky tests
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@keyboardDrummer @MikaelMayer