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

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L17886

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L17895

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L17903

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L17923

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L17337

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L18093

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L18095

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L18095

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L18099

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L18099

The name 'StandardLibrary_mUInt_Compile' does not exist in the current context

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Dafny Interoperability Test #22

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

Dafny Interoperability Test #22

Uh oh!

Jobs

Run details

Annotations

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

Re-running jobs...