Feat: @-attributes on top-level declarations #19212
Annotations
8 warnings
Run AutoExtern Tests:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Run DafnyCore Tests:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Build:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Build:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Run DafnyTestGeneration Tests:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Run DafnyLanguageServer Tests:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Run DafnyPipeline Tests:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Run DafnyDriver Tests:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Loading