Dafny Interoperability Test · aws/aws-database-encryption-sdk-dynamodb@192eabb

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/AesKdfCtr.cs#L40

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/AESEncryption.cs#L63

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/AESEncryption.cs#L106

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/Random.cs#L37

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs#L448

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs#L123

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs#L291

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs#L169

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs#L187

'Error_Opaque' does not contain a constructor that takes 2 arguments

submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs#L205

'Error_Opaque' does not contain a constructor that takes 2 arguments

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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#L16500

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Dafny Interoperability Test #37

dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest)

Dafny Interoperability Test #37

Uh oh!

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...