Feat: @-attributes on top-level declarations #19213
Annotations
1 warning
|
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
The logs for this run have expired and are no longer available.
Loading