test dotnet #3369
Annotations
11 errors and 10 warnings
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L12
'AESDecryptInput' does not contain a definition for '_encAlg' and no accessible extension method '_encAlg' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L13
'AESDecryptInput' does not contain a definition for '_key' and no accessible extension method '_key' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L14
'AESDecryptInput' does not contain a definition for '_cipherTxt' and no accessible extension method '_cipherTxt' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L15
'AESDecryptInput' does not contain a definition for '_authTag' and no accessible extension method '_authTag' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L16
'AESDecryptInput' does not contain a definition for '_iv' and no accessible extension method '_iv' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L17
'AESDecryptInput' does not contain a definition for '_aad' and no accessible extension method '_aad' accepting a first argument of type 'AESDecryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L35
'AESEncryptInput' does not contain a definition for '_encAlg' and no accessible extension method '_encAlg' accepting a first argument of type 'AESEncryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L36
'AESEncryptInput' does not contain a definition for '_iv' and no accessible extension method '_iv' accepting a first argument of type 'AESEncryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L37
'AESEncryptInput' does not contain a definition for '_key' and no accessible extension method '_key' accepting a first argument of type 'AESEncryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs#L38
'AESEncryptInput' does not contain a definition for '_msg' and no accessible extension method '_msg' accepting a first argument of type 'AESEncryptInput' could be found (are you missing a using directive or an assembly reference?)
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16546
Unreachable code detected
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16560
Unreachable code detected
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16385
Unreachable code detected
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16426
Unreachable code detected
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17390
Unreachable code detected
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16216
Unreachable code detected
|
submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16257
Unreachable code detected
|
The logs for this run have expired and are no longer available.
Loading