feat: dotnet examples #2075
Annotations
5 errors and 10 warnings
DynamoDbEncryption/runtimes/net/Generated/DynamoDbItemEncryptor/TypeConversion.cs#L925
The switch case is unreachable. It has already been handled by a previous case or it is impossible to match.
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryption/TypeConversion.cs#L1376
The switch case is unreachable. It has already been handled by a previous case or it is impossible to match.
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryption/TypeConversion.cs#L1380
The switch case is unreachable. It has already been handled by a previous case or it is impossible to match.
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L6498
The switch case is unreachable. It has already been handled by a previous case or it is impossible to match.
|
|
submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L24801
This label has not been referenced
|
submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L24656
This label has not been referenced
|
submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L28624
The variable '_1269_maxCacheSize' is assigned but its value is never used
|
DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L16173
This label has not been referenced
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1247
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1250
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1304
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1384
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1385
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1389
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
The logs for this run have expired and are no longer available.
Loading