Feat: @-attributes on top-level declarations #19212
Annotations
1 error and 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