Split off parts of single pass compiler #9458
Annotations
4 warnings
|
Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
|
|
Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
|
|
Source/DafnyLanguageServer/Handlers/DafnyWorkspaceSymbolHandler.cs#L62
Dereference of a possibly null reference.
|
|
Source/DafnyLanguageServer/Handlers/DafnyRenameHandler.cs#L56
Dereference of a possibly null reference.
|
This job succeeded
Loading