Feat: @-attributes on top-level declarations #19212
Annotations
1 warning
|
Run integration tests (non-Windows):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Loading