Set options in IDE to more closely match CLI #14392
Annotations
9 warnings
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
|
Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
|
The logs for this run have expired and are no longer available.
Loading