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